Zulip Chat Archive

Stream: PR reviews

Topic: Approved PRs

Dagur Asgeirsson (Sep 02 2024 at 10:02):

My PRs #16066 and #15525 were reviewed and approved a while ago by @Calle Sönne. They are both pretty straightforward, if someone wants to take a quick look

Johan Commelin (Sep 03 2024 at 08:52):

Thanks @Dagur Asgeirsson for the PRs and @Calle Sönne for the reviews!

Last updated: May 02 2025 at 03:31 UTC