Hi, is it intended that the 4.6 repositories in git.gromacs.org and gerrit.gromacs.org are not the same? The last update on git.gromacs.org seems to be of 2013-06-19 (it does not even have the v4.6.3 tag), while the gerrit repo is up to date. Regards, Carsten