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