On Sun, 11 Sep 2016 03:18:53 +0200 Ralf Mardorf <silver.bullet at zoho.com> wrote: > official upstream release, IOW "git checkout 3fc1678" Slightly off-topic: we tag our releases, so you can do e.g. "git checkout 3.14.0" instead of using commit IDs. HTH, -- Andrej