Re: Bash-5.1-beta available

[Robert Elz]

    Date:        Sun, 13 Sep 2020 14:21:23 +0200
    From:        Andreas Schwab <schwab@linux-m68k.org>
    Message-ID:  <87imchg94s.fsf@igel.home>

  | My reading of POSIX says that a backslash
  | before a double quote should not be removed, as double quotes are not
  | special in here docs.

That would be a correct reading, double (and for that matter, single)
qoutes in here doc contents are no different than any other char (like 'x'
or space).   That is, unless they are within some other construct that
does have meaning, and where quoting is defined to work, like a $( ) command
substitution, or the pattern part of one of the substring variable expansions.

kre