From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/bash/reporting-bugs.html | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 devdocs/bash/reporting-bugs.html (limited to 'devdocs/bash/reporting-bugs.html') diff --git a/devdocs/bash/reporting-bugs.html b/devdocs/bash/reporting-bugs.html deleted file mode 100644 index 97073a05..00000000 --- a/devdocs/bash/reporting-bugs.html +++ /dev/null @@ -1,12 +0,0 @@ -

Appendix A Reporting Bugs

Please report all bugs you find in Bash. But first, you should make sure that it really is a bug, and that it appears in the latest version of Bash. The latest version of Bash is always available for FTP from ftp://ftp.gnu.org/pub/gnu/bash/ and from http://git.savannah.gnu.org/cgit/bash.git/snapshot/bash-master.tar.gz.

Once you have determined that a bug actually exists, use the bashbug command to submit a bug report. If you have a fix, you are encouraged to mail that as well! Suggestions and ‘philosophical’ bug reports may be mailed to bug-bash@gnu.org or posted to the Usenet newsgroup gnu.bash.bug.

All bug reports should include:

-

bashbug inserts the first three items automatically into the template it provides for filing a bug report.

Please send all reports concerning this manual to bug-bash@gnu.org.

-

- Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
Licensed under the GNU Free Documentation License.
- https://www.gnu.org/software/bash/manual/html_node/Reporting-Bugs.html -

-
-- cgit v1.2.3