Op 19 jul. 2012, om 18:36 heeft Hans-Christoph Steiner het volgende geschreven: > > About the debian branch, I don't think that'll be very helpful. Its easiest work out of one source repo for that, and that's currently the debian one. I hope we don't need a debian branch. Why do you suggest such? Teco