Hi Thomas, On 05.11.19 15:22, Thomas Schwinge wrote:
> For your convenience, I'm attaching an incremental patch, to be merged > into yours.> [...]> With that addressed, OK for trunk. Thank you. I have merged the patches and committed. > A few more comments to address separately, later on. I will look into your remaining questions. Best regards, Frederik
