Re: /bin/sh fd 12

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Tue, 14 Sep 2021 09:12:17 -0400
    From:        Jan Schaumann <jschauma%netmeister.org@localhost>
    Message-ID:  <20210914131217.GK6164%netmeister.org@localhost>

  | Do you want me to send-pr the redirection to fds
  | 12/13?

You can if you want, but the fix is almost done.   (My test
build is just completing now, then I need to run tests to make
sure there are no regressions).

As I said in an earlier message, the fix for 12 (any fd the sh has
opened for its own needs) is trivial, but dealing with the issue with
13 (temporarily moved user fds) is messier, but I think I have it almost
done (there are still one or two minor issues to deal with, which I will
get to in a later fix).

kre