Re: [bug-gawk] [PATCH 2/2] Fix plugin load failure on OS/2

[Eli Zaretskii]

> Date: Thu, 12 Oct 2017 23:05:45 +0900
> From: KO Myung-Hun <address@hidden>
> CC: address@hidden
> 
> >> I have a question. there are any cases calling load_ext() without
> >> find_source() ?
> > 
> > Doesn't look that way, but it's hard to tell.
> 
> Ok. I've updated patch.

Thanks.  Let's see if there are objections, and if not, I will push it
in a few days in your name.