Skip to content

Conversation

@ProjectSynchro
Copy link
Member

@ProjectSynchro ProjectSynchro commented Nov 6, 2020

Fixes the build error.
Sorry for the emails!

@bobbens
Copy link
Member

bobbens commented Nov 7, 2020

np ;)

@bobbens bobbens merged commit d7dda6a into naev:master Nov 7, 2020
@github-pages github-pages bot temporarily deployed to github-pages November 7, 2020 00:37 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants