Closed dvdvgt closed 3 days ago
Was just about to push the cherry-picked commits myself. Thanks for the help, though :)
Sorry if this duplicated work that you wanted to do :(
From my side, we can merge this now. Thanks for your help -- finally I can put #679 to rest :)
Not sure whether I was of much help here, but sure :) LGTM
I took the liberty to make the above mentioned changes.