Merge "Use Git server (mirror) to avoid fetching problems" into release-4-5-patches
authorTeemu Murtola <teemu.murtola@gmail.com>
Tue, 21 Feb 2012 18:52:10 +0000 (19:52 +0100)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Tue, 21 Feb 2012 18:52:10 +0000 (19:52 +0100)

Trivial merge