Arve Knudsen f4d40224f2 CircleCI: Upgrade shellcheck to v0.7.1 and pin version (#23815) ... * CircleCI: Upgrade shellcheck to v0.7.1 and pin version Signed-off-by: Arve Knudsen <arve.knudsen@gmail.com>		2020-04-23 12:22:51 +02:00
..
config.yml	CircleCI: Upgrade shellcheck to v0.7.1 and pin version (#23815)	2020-04-23 12:22:51 +02:00