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? Ciao Dominik ^_^ ^_^ -- Dominik Vogt
