Merge pull request #509 from neheb/master
authorHannu Nyman <redacted>
Tue, 27 Oct 2015 15:30:24 +0000 (17:30 +0200)
committerHannu Nyman <redacted>
Tue, 27 Oct 2015 15:30:24 +0000 (17:30 +0200)
resources/icons: Use gifsicle to save a few bytes.


Trivial merge
git clone https://git.99rst.org/PROJECT