mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-08-05 01:32:28 +02:00
read builtin fixes for CHERI environment; use CLOCK_GETTIME in gettimeofday replacement; readline fix to not optimize typeahead while defining a keyboard macro; fix for crash with unset nameref variable; make sure to save currently executing command around running DEBUG trap
This commit is contained in:
+5
-8
@@ -1,5 +1,5 @@
|
||||
<!-- Creator : groff version 1.23.0 -->
|
||||
<!-- CreationDate: Mon Oct 6 15:30:30 2025 -->
|
||||
<!-- CreationDate: Tue Oct 7 10:14:01 2025 -->
|
||||
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
|
||||
"http://www.w3.org/TR/html4/loose.dtd">
|
||||
<html>
|
||||
@@ -16375,9 +16375,10 @@ and
|
||||
determined that a bug actually exists, use the
|
||||
<i>bashbug</i> command to submit a bug report. If you have a
|
||||
fix, you are encouraged to mail that as well! You may send
|
||||
suggestions and “philosophical” bug reports to
|
||||
<a href="mailto:bug-bash@gnu.org">bug-bash@gnu.org</a> or
|
||||
post them to the Usenet newsgroup <b>gnu.bash.bug</b>.</p>
|
||||
suggestions and “philosophical” bug reports, as
|
||||
well as comments and bug reports concerning this manual
|
||||
page, to to
|
||||
<a href="mailto:bug-bash@gnu.org">bug-bash@gnu.org</a>.</p>
|
||||
|
||||
<p style="margin-left:9%; margin-top: 1em"><i>All</i> bug
|
||||
reports should include:</p>
|
||||
@@ -16506,10 +16507,6 @@ the unexpected behavior.</p></td>
|
||||
inserts the first three items automatically into the
|
||||
template it provides for filing a bug report.</p>
|
||||
|
||||
<p style="margin-left:9%; margin-top: 1em">Please send
|
||||
comments and bug reports concerning this manual page to
|
||||
<a href="mailto:bug-bash@gnu.org">bug-bash@gnu.org</a>.</p>
|
||||
|
||||
<h2>BUGS
|
||||
<a name="BUGS"></a>
|
||||
</h2>
|
||||
|
||||
Reference in New Issue
Block a user