Skip to content

Conversation

@db48x
Copy link

@db48x db48x commented Oct 15, 2020

Patch created from westes#370

@eric-s-raymond eric-s-raymond merged commit 84c26ba into eric-s-raymond:retargeting Oct 15, 2020
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.

3 participants