11:06 <GH> [Principia] eggrobin reopened issue #1272: Current build of Master branch broken https://git.io/vy5lx

11:07 <GH> [Principia] eggrobin opened pull request #1275: Dämmerungsgötterdämmerung (master...daemmerungsgoetter) https://git.io/vyFac

20:20 <GH> [Principia] pleroy pushed 10 new commits to master: https://git.io/vyNmI

20:20 <GH> Principia/master 24ddbc1 Robin Leroy: bounce endlessly at the edge of the atmosphere, but without picking up speed!

20:20 <GH> Principia/master 6e7cdbc Robin Leroy: traces and confusion

20:20 <GH> Principia/master 95142d7 Robin Leroy: let's be unfashionable

20:20 <GH> [Principia] pleroy commented on issue #1274: retest this please https://git.io/vyNmm

21:06 <GH> [Principia] pleroy closed pull request #1274: Try to fix the non-deterministic replay by making the ordering of maps and sets deterministic (master...Replay2) https://git.io/vyd91

21:06 <GH> Principia/master a3ccdf2 pleroy: Checks.

21:06 <GH> Principia/master a664bf9 pleroy: Merge branch 'master' into Replay2

21:06 <GH> [Principia] pleroy pushed 11 new commits to master: https://git.io/vyNCc

21:06 <GH> Principia/master 066e6fb pleroy: Debugging.