12 Oct
2016
12 Oct
'16
9:21 p.m.
Hi Philipp, On Wed, 12 Oct 2016, Philipp Gesang wrote:
It seems fixed now and the most recent commit does indeed have Hans as the author.
FYI, I have been mirroring your repo to github: https://github.com/contextgarden/context-mirror If you want, I can give you push access to the github repo and you could push to both bitbucket and github at the same time. Otherwise, I can continue to run a script locally that does the mirroring. Aditya