Pirate Praveen wrote on Mon, 24 Feb 2020 10:18 +0530: > On Sun, 23 Feb 2020 18:03:30 +0000 Daniel Shahaf <danie...@apache.org> wrote: > > Holger Levsen wrote on Sun, 23 Feb 2020 16:21 +0000: > > > On Sun, Feb 23, 2020 at 03:51:58PM +0000, Daniel Shahaf wrote: > > > > Alternatively, how about deleting the «exit 0» line entirely? That > > > > would effectively downgrade the error message to a warning. > > > > > > sounds better to me. > > > > Okay. I've already filed #952283 (Cc'd) for this. > > Seems you got the bug number wrong here.
Yeah, I meant #952383. Sorry!