Hi, I noticed that there might be a typo in the tokio_total_seal_operations metric. I'm happy to make this change myself if there are any contribution guidelines to adhere to.
Nevermind! This looks like it is fixed but there is no release that applies the fix. Not urgent but wondering when this change would make it into a release?
Hi, I noticed that there might be a typo in the
tokio_total_seal_operations
metric. I'm happy to make this change myself if there are any contribution guidelines to adhere to.