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? -- Antoine
