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