Zulip Chat Archive
Stream: PR reviews
Topic: !#4231 RingTheory.Localization.Integral
Ruben Van de Velde (May 23 2023 at 10:16):
Can I get another review? I noticed that I forgot to push a few small fixes a minute after it got put onto the queue
Last updated: May 02 2025 at 03:31 UTC