From: Oliver Schmidt Date: Sat, 3 Jun 2017 20:06:27 +0000 (+0200) Subject: Merge pull request #442 from polluks/patch-6 X-Git-Tag: V2.17~127 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=682fd226ae014a03f7546ff129acdfd50008faed;p=cc65 Merge pull request #442 from polluks/patch-6 Use verbosity --- 682fd226ae014a03f7546ff129acdfd50008faed