> Le 27 févr. 2023 à 19:53, Valentin Petzel <[email protected]> a écrit :
> 
> Okay, I will create a MR these days. But just gotta point out: You yourself 
> argued back then: \removeFontFeature sounds more like a
> specialized use case though. I'd add just \with-font-feature ...


Mailing list archives are compromising :-)

I guess I don’t have a strong opinion.



Reply via email to