Zulip Chat Archive
Stream: PR reviews
Topic: Simple PRs
Yaël Dillies (Nov 09 2022 at 00:45):
#17021, #17053, #17240 are all easy PRs that have fallen off the radar. Anyone for a quick look?
Scott Morrison (Nov 09 2022 at 01:31):
:peace_sign: 
Last updated: May 02 2025 at 03:31 UTC