bors a73bb33399 Auto merge of #4273 - mikerite:deny-warnings, r=flip1995 ... Deny warnings in CI changelog: none		2019-07-15 07:51:29 +00:00
..
base-tests.sh	Auto merge of #4273 - mikerite:deny-warnings, r=flip1995	2019-07-15 07:51:29 +00:00
integration-tests.sh	Remove all copyright license headers	2019-01-08 21:46:39 +01:00