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

Reply via email to