diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2018-10-27 21:50:53 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-10-27 21:50:53 +0300 |
commit | 6895ebddd274d1c9470e6e8b3191f206dddc4e77 (patch) | |
tree | a1fa12b295adfa3164a31f5e5318e12d2ebf077c /doc/gawktexi.in | |
parent | 37c77a1a7bf4daa2a334e85d741e80c386405cbb (diff) | |
parent | 35855fa516205a3cb302567616915a3ec6fd9c61 (diff) | |
download | egawk-6895ebddd274d1c9470e6e8b3191f206dddc4e77.tar.gz egawk-6895ebddd274d1c9470e6e8b3191f206dddc4e77.tar.bz2 egawk-6895ebddd274d1c9470e6e8b3191f206dddc4e77.zip |
Merge branch 'gawk-4.2-stable' into update-dfa
Diffstat (limited to 'doc/gawktexi.in')
-rw-r--r-- | doc/gawktexi.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index a03be9fc..9cb3f4a3 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -39550,7 +39550,12 @@ Please do @emph{not} try to report bugs in @command{gawk} by posting to the Usenet/Internet newsgroup @code{comp.lang.awk}. Although some of the @command{gawk} developers occasionally read this news group, the primary @command{gawk} maintainer no longer does. Thus it's virtually guaranteed -that he will @emph{not} see your posting. The steps described here are +that he will @emph{not} see your posting. + +Similarly, posting bug reports or questions in web forums, such +as @uref{https://stackoverflow.com/, Stack Overflow} may get you +an answser, but it won't be from the @command{gawk} maintainers, +who do not spend their time in web forums. The steps described here are the only officially recognized way for reporting bugs. Really. @ignore |