On 05/03/2013 09:49 PM, Bob Proulx wrote:
Over time there have been many committers. Notably Sylvain has the majority for a long time. Most recently Michael has the majority of commits.
I've just installed the changes on frontend.sv.gnu.org and checked that they work; I have no idea on how to push the commit yet; it looks like it is not enough to be in the "administration" group to do that.
