Okay, git access works again.  I'll do further development on
dv/devel or on private topic branches, then put them in dv/master
before considering to push them.

With so much disruptive work pending, we may want to introduce a
devel branch upstream to reduce pollution of the master?


Dominik ^_^  ^_^


Dominik Vogt

Reply via email to