"Gavin M. Roy" <gavinmroy@gmail.com> writes:
> I'm currently in the process of having Gentoo linux reinstalled on the
> box since that is what I am most comfortable administering from a
> security perspective. If this will be a blocker for developers who
> would actually work on it, please let me know.
Personally I'd prefer almost any of the other Linux distros.
Gentoo always leaves me wondering exactly what I'm running today,
and I think reproducibility is an important attribute for a benchmarking
machine.
regards, tom lane
