On Wed, Oct 18, 2017 at 4:45 AM, David Rowley <[email protected]> wrote:
> A small patch to fix these is attached. > Applied, thanks. I backpatched the actual error message typo fix. Left the comment alone in backbranches because it conflicted, so it didn't seem worth it. -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
