Hi Robert, Daniel,
Sorry the delay.
On Wed, Jan 24, 2018 at 10:09 AM, Daniel Wagner <wagi(a)monom.org> wrote:
On 01/23/2018 02:46 PM, Robert Tiemann wrote:
This looks quite sane to me. Jose, if don't have any objections, I am
going to apply both patches.
Unfortunately I have no way to test the path right now but it looks fine for me.