Merge branch 'issue_73' into 'master'
authorPyry Haulos <phaulos@google.com>
Mon, 14 Dec 2015 16:46:11 +0000 (11:46 -0500)
committerPyry Haulos <phaulos@google.com>
Mon, 14 Dec 2015 16:46:11 +0000 (11:46 -0500)
issue 73 - fix integer border color

See #73.

See merge request !139


Trivial merge