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

..

lintlist

PR comments

2019-06-23 18:02:13 -04:00

driver.rs

Auto merge of #4273 - mikerite:deny-warnings, r=flip1995

2019-07-15 07:51:29 +00:00

lib.rs

Remove some unused features and error-patterns

2019-03-12 08:15:50 +01:00

main.rs

Deny warnings in CI

2019-07-15 07:35:02 +02:00