On Fri, Apr 21, 2017 at 06:06:54PM -0400, Leo Famulari wrote:
> I'll leave this bug open while we decide what to do about
> readline-7.0-mingw.patch.

I've removed this patch in commit
bfa3e64d7f97c759e5b4f5977827100ecd0df03c