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)
commit57fc4281e85f7e2b328a00139a61de68f38df778
tree3f88a337e47423c7cf074c15db3ed1dc9efa72e1
parent7d625263706849baf973379ad10b1efa4f9b71a7
parent5264ff91893434d8a7c16e6cc4db96cd4dc58aef
Merge branch 'issue_73' into 'master'

issue 73 - fix integer border color

See #73.

See merge request !139