Skip to content

Conversation

@Syhids
Copy link
Contributor

@Syhids Syhids commented Nov 2, 2018

This permits setting non-strict mode, for instance.

@e5l
Copy link
Member

e5l commented Nov 2, 2018

Hi, @Syhids.
Thanks for the PR. LGTM

@e5l e5l merged commit 99aaf42 into ktorio:master Nov 2, 2018
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