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: Dec 20 2023 at 11:08 UTC