Skip to content

Conversation

toy
Copy link
Contributor

@toy toy commented May 29, 2021

Few things I found when creating a port for the tool, will come back when it is accepted

@rentzsch rentzsch merged commit 03ab5c9 into rentzsch:develop Jun 11, 2021
@toy toy deleted the use-library-search-paths branch June 12, 2021 19:56
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