Zulip Chat Archive
Stream: mathlib4
Topic: resolve conversation permission is lost?
Jz Pan (Jun 21 2025 at 07:15):
Now I can't resolve review conversations in PR. Is it intended?
Last updated: Dec 20 2025 at 21:32 UTC
Now I can't resolve review conversations in PR. Is it intended?
Last updated: Dec 20 2025 at 21:32 UTC