Re: Does Linux emulation work?

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

    Date:        Fri, 08 Dec 2017 22:06:39 +0700
    From:        Robert Elz <kre%munnari.OZ.AU@localhost>
    Message-ID:  <12618.1512745599%andromeda.noi.kre.to@localhost>

  | In current the default has been changed back.

Actually, it sort of has - and hasn't ... but that will be fixed in
a few minutes, once my test build finishes, and then it will really have
been switched back.

kre