On Tue, Sep 25, 2018 at 02:06:35PM +0200, Christoph Berg wrote:
> Did that ever get applied? I can't find it in the git log.
Not that I can see. I have added an entry for old bugs on the v11 list
of open items. Peter, could you finish wrapping it or do you need some
help?
--
Michael