Zulip Chat Archive
Stream: PR reviews
Topic: lint: check for unfreeze_local_instances #11509
Johan Commelin (Jan 28 2022 at 13:02):
I think this PR is ready for merging. But some linter expert might want to double check.
Last updated: Dec 20 2023 at 11:08 UTC