Re: Can we include all 3 time extension functions in one package?

[Eli Zaretskii]

> From: Ed Morton <address@hidden>
> Date: Fri, 25 Oct 2019 14:17:54 -0500
> 
> Pros:
> 
>  1. There's then simply 2 collections of time functions - core and extension
>  2. You can get rid of a non-gawkextlib package
>  3. The gawkextlib time package would be named such that you can add any
>     new time functions to it in future (as opposed to if it was named
>     "strptime")
> 
> Cons:
> 
>  1. The people using the existing time extension would need to 1-time
>     change how they do that
>  2. You have work to do to move those 2 functions to the new gawkextlib

Can all the platforms we support load extensions?  If not, then
there's one more "con".