Re: Any chance gettimeofday() or other millis- or even nanos-precision time function stays in the default Gawk distribution?

[Andrew J. Schorr]

Hi Denis,

On Wed, Jan 18, 2023 at 01:48:01AM +0200, Denis Shirokov wrote:
> > sorry for the rudeness - it's professional

I appreciate your passion for gawk, but not the rudeness.  Please rest assured
that everyone who contributes to gawk does so in their free time and for the
good of the community. As such, we would appreciate it if you could please try
to maintain a more civil tone in your emails.  Because this is actually not
professional -- we all do this in our personal time.  We do sometimes make
mistakes, and we appreciate constructive feedback, but there is never a valid
reason to be insulting when discussing open-source tools. In the future, we may
block access to the mailing lists for people who are unable to communicate
respectfully.

Best regards,
Andy

P.S. To be clear, Arnold has decided that the time extension containing
gettimeofday will remain in core gawk and be undeprecated in the next release.
In addition, the strptime function from the gawkextlib timex library will be
absorbed into the core gawk time extension.  As a result, the gawkextlib timex
library will become superfluous.