Skip to content
This repository has been archived by the owner on Jul 14, 2023. It is now read-only.

Added mirage2 labels and minor missing labels #33

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

ammopt
Copy link

@ammopt ammopt commented Feb 24, 2017

No description provided.

@ammopt
Copy link
Author

ammopt commented Feb 24, 2017

Some portuguese missing labels were added, particularly showing in Mirage2.

@tdonohue tdonohue changed the base branch from master to main June 29, 2020 20:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant