8 commits

Author	SHA1	Message	Date
Eduardo Broto	9d73371663	Merge remote-tracking branch 'upstream/master' into rustup	2020-10-31 09:33:40 +01:00
Eduardo Broto	50419118b4	Merge commit '645ef505da378b6f810b1567806d1bcc2856395f' into clippyup	2020-10-28 23:36:07 +01:00
Matthias Krüger	0d6eed1b1f	use diff -u in driver.sh test ... this changs the add/delete indication from > > < to + + - (same as git diff)	2020-10-28 23:19:04 +01:00
Takayuki Nakata	c42a22d2dc	Use double_neg.stderr	2020-10-29 01:02:09 +09:00
Nathan Whitaker	a1bb10e9b8	Remove lint from clippy	2020-10-26 18:19:48 -04:00
flip1995	80bcbf521c	Merge commit 'c2c07fa9d095931eb5684a42942a7b573a0c5238' into clippyup	2020-06-23 17:05:22 +02:00
flip1995	b47dada167	Apply review comments	2020-02-12 09:34:28 +01:00
flip1995	ea780a69f3	Extract driver test	2020-02-12 09:34:27 +01:00