Closed jenholmberg closed 11 months ago
included inequality
Fixes #87
Btw, by writing Fixes #87 in the top message (I did it for you), you can automatically close the associated issue when merging the pull-request. It also creates a handy hyperlink to the issue.
included inequality
Fixes #87