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:

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.

If your question is of interest to others as well, please add an entry to the 

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net

Reply via email to