Justus Winter <4winter at informatik.uni-hamburg.de> writes: > Hi everyone :) > > this is a small patch series that I'd like to see included in 0.13. pushed to release and master