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: May 02 2025 at 03:31 UTC