I merged this patch. Thanks, Maxim.
On 03/08/2017 05:24 PM, Dmitry Eremin-Solenikov wrote:
On 08.03.2017 17:13, Peltonen, Janne (Nokia - FI/Espoo) wrote:Are you saying that in your shell this works (echoes foobar): if false ; then : else echo foobar ; fiDoes not work here (bash 4.4.11(1)-release).