Skip to content

Ticket #41#116

Merged
lutzhamel merged 6 commits intomasterfrom
tik-41
Jan 28, 2022
Merged

Ticket #41#116
lutzhamel merged 6 commits intomasterfrom
tik-41

Conversation

@olwmc
Copy link
Copy Markdown
Collaborator

@olwmc olwmc commented Jan 28, 2022

This patch fixes issue #41 . I tried to mirror the implementation style Tim used in his fix for a similar issue. If you can find any programs that don't work as expected, please let me know!

@lutzhamel lutzhamel merged commit f988a02 into master Jan 28, 2022
@olwmc olwmc deleted the tik-41 branch January 28, 2022 02:37
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