Also:
- if some changes that you wish to push depend on changes in other
packages that YOU don't control
(base/types come to mind), discuss it first with whoever is supposed
- packages from rock.base (including base/types) can be updated by:
myself, Thomas R. and/or Alex D.
The Eigen3 migration is definitely part of this update
Sylvain