Apart that, do you think we should request a pullup request to 2019Q4 or is it okay to possibly wait a couple of weeks? (probably 2020Q1 is pretty near :))
Too late :) It seems that 3.1 was released yesterday, after I had been to the repository earlier that day. I didn't check again this morning before opening the PR, sorry.
So I suggest you scrap my patch and go to 3.1 straight away. I'll test it on Solaris immediately.
Joern -- Jörn Clausen Plattformen & Serverdienste BITS - Bielefelder IT-Servicezentrum https://www.uni-bielefeld.de/bits