On Thu, Feb 21, 2019 at 11:32:02AM +0100, Michael Albinus wrote: > PS: Could you pls give me a bug number or something like this, that I > can reference to?
Bash doesn't use a formal bug tracking system. Chet manages it all by hand. Your best bet is to find the list archive copy of this thread, and bookmark it. (Start at <http://lists.gnu.org/archive/html/bug-bash/>.)
