Subject: Shellcheck pushed to master
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Date: Sat, 25 Mar 2017 15:03:28 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Shellcheck pushed to master, commits 6f8016f4d8a84739ffdc7338bb1bbac5179e3ae3 (ghc-json) and 7e58cbbb39ea5efc890c84b9e42144117af0748d (shellcheck).