diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-05-11 13:24:24 -0400 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-05-11 13:24:24 -0400 |
| commit | d0703f9970ab7d15dab55d78cd8d7538537832af (patch) | |
| tree | 30c768a5c508ff5beab72f9a0e917a8ddf8476df | |
| parent | 51c901e4f531282ecc7519b3d15ff698aad28bbd (diff) | |
Bump clippy submodule to fix compilation failure
| m--------- | src/tools/clippy | 29 |
1 files changed, 18 insertions, 11 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 891e1a859b52486936e021235fdc36fbdd9b410 +Subproject d4092ace00d60634bcdc22135d82e05a5397126 |