[gnu.org #1838744] Bash Manual, 3.6.2 Redirecting Inputs, SUGGESTION

[Therese Godefroy via RT]

Le Mar 31 Mai 2022 10:02:56, chet.ramey@case.edu a écrit :
[...]
> You might tell him that this is standard usage, up to and including
> the
> POSIX standard:
> 
> https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_07
> 
> I may change this sometime, but it's low priority.
> 
> Chet


Done.
Thanks for your input! 

Best,
Thérèse