diff options
| author | Florian Klink <flokli@flokli.de> | 2024-08-17T09·21+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-08-17T15·59+0000 |
| commit | c75b0d08ce8fcf6f1e21fc090b2c4541575c485f (patch) | |
| tree | 200c21fd4fe3b8829426e90fb7f9a02f180c0292 /third_party | |
| parent | 5d0189227446accf97f9effdab2221a34f4d2c8f (diff) | |
chore(tvix/glue): drop some explicit allow(clippy::mutable_key_type) r/8509
This is covered by clippy.toml these days. Change-Id: I2330af5781844d5f9d975793d770efcea48d371b Reviewed-on: https://cl.tvl.fyi/c/depot/+/12223 Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions