You need to sign in or sign up before continuing.
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
patches-welcome
latexpand / Latexpand
Issues on which I'm unlikely to work myself, but for which contributors are welcome to submit merge requests
Prioritized