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: May 02 2025 at 03:31 UTC