Zulip Chat Archive
Stream: general
Topic: merge sprint
Patrick Massot (Oct 01 2018 at 18:59):
Wow, Johannes is merging like crazy!
Johan Commelin (Jan 23 2019 at 15:38):
It's happening again! Thanks a lot @Johannes Hölzl
Last updated: Dec 20 2023 at 11:08 UTC