On 30/11/16 23:42, Robert Tiemann wrote:
It's a shame they have chosen to put their fork into a
different repo. Cherry-picking is much harder than necessary this way.
For whatever reason, it used to be nearly impossible for us to get
anything non-trivial merged upstream, so we eventually gave up. It was
simply a waste of time on both ends. And yes, it's a shame.