Skip to content

fix CHARBOUND option for non-characters#149

Merged
stevengj merged 1 commit intomasterfrom
charbound_nonchar
Mar 30, 2019
Merged

fix CHARBOUND option for non-characters#149
stevengj merged 1 commit intomasterfrom
charbound_nonchar

Conversation

@stevengj
Copy link
Member

Fixes #144

@stevengj stevengj force-pushed the charbound_nonchar branch from f59538b to 5743c35 Compare March 30, 2019 19:17
@stevengj stevengj merged commit 4603e00 into master Mar 30, 2019
@stevengj stevengj deleted the charbound_nonchar branch March 30, 2019 19:22
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.

1 participant