On Thu, 12 Feb 2015, Andreas Lochbihler wrote: > I have the impression that your push has not made it to the official > afp-code. At least, I cannot see it on > > http://sourceforge.net/p/afp/code/ci/6ff9a8c6405d04f28365434a0e7bd65ea89aad86/log/ > > although my commits do show up there. I have pushed it once more. Makarius