Zulip Chat Archive
Stream: my-github-feed
Topic: mathlib / master
github (Apr 18 2020 at 08:34):
bors[bot] pushed 1 commit to branch master. Commits by lambda-fairy (1).
Last updated: Feb 28 2026 at 14:05 UTC
bors[bot] pushed 1 commit to branch master. Commits by lambda-fairy (1).
Last updated: Feb 28 2026 at 14:05 UTC