On 04/18/2018 09:25 AM, Robert Tiemann wrote:
On 01/24/2018 10:09 AM, Daniel Wagner wrote:
> This looks quite sane to me. Jose, if don't have any objections, I am
> going to apply both patches.
these patches have not been merged yet. Is there anything left I need
to do about them?
Yes, you need to remind me to apply them :)
I forgot about them. I'll marked them to apply them later. Sorry about it.