chiark / gitweb /
Merge pull request #137 from jschueller/bounds
authorJulien Schueller <schueller@phimeca.com>
Sun, 10 Sep 2017 07:40:15 +0000 (09:40 +0200)
committerGitHub <noreply@github.com>
Sun, 10 Sep 2017 07:40:15 +0000 (09:40 +0200)
Fix get|set lower|upper bounds methods warnings


Trivial merge