Ondrej Zajicek <[email protected]> writes: > On Mon, Feb 05, 2018 at 03:33:25PM +0100, Toke Høiland-Jørgensen wrote: >> Will fix and resubmit. What about the issue with 'learn'? :) > > Fixed in 28b3b551222ab58456a067a9be4790824cdbb60e
Great, thanks! Do you want me to submit a new version of the patch series with that part removed, or are you OK with just dropping it when you merge? Assuming you don't have any more issues you want me to fix, of course ;) -Toke
