Sylvestre Ledru 6e1a68ce9a Merge pull request #2298 from jhscheer/fix_clippy ... Major clippy overhaul.		2021-05-29 23:23:26 +02:00
..
CICD.yml	Merge pull request #2298 from jhscheer/fix_clippy	2021-05-29 23:23:26 +02:00
GNU.yml	gnu/ci: also store the hash in the json	2021-05-22 21:59:54 +02:00