dv Branches

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