Closed noctuid closed 9 years ago
😶 you're alive! Send me an email when you get a chance.
On Tue, Sep 1, 2015, 12:34 AM Philipp Schmitt notifications@github.com wrote:
Merged #18 https://github.com/pschmitt/pia-tools/pull/18.
— Reply to this email directly or view it on GitHub https://github.com/pschmitt/pia-tools/pull/18#event-397478625.
Currently, it will give "unrecognized option '--check'".