On Tue, Oct 17, 2023 at 04:05:17PM +0200, Antoine Jacoutot wrote: > On Sun, Oct 15, 2023 at 11:26:44AM -0400, Thomas Frohwein wrote: > > On Sun, Oct 15, 2023 at 11:18:16AM -0400, Thomas Frohwein wrote: > > > > [...] > > > > > +USE_NOBTCFI= Yes > > > +USE_WXALLOWED= Yes > > > > Ignore these, it was just me blindly trying something which shouldn't > > make its way into any potential update of the port. > > OK to remove this port, anyone?
ok tb
