12:34 <GH> [Principia] eggrobin opened pull request #1239: Allow warp (Cardano...allow-warp) https://git.io/vywRl

13:28 <GH> [Principia] pleroy closed pull request #1239: Allow warp (Cardano...allow-warp) https://git.io/vywRl

13:28 <GH> [Principia] pleroy pushed 9 new commits to Cardano: https://git.io/vywgb

13:28 <GH> Principia/Cardano 9851778 Robin Leroy: going back to the preceding CL for a bit

13:28 <GH> Principia/Cardano 01e7ac0 Robin Leroy: Merge remote-tracking branch 'la-vache/Cardano' into allow-warp

13:28 <GH> Principia/Cardano 8c24788 Robin Leroy: derp

19:02 <GH> [Principia] eggrobin opened pull request #1240: Fix a bug in the transition to nonvanishing intrinsic acceleration (Cardano...starting-thrust) https://git.io/vyrBY

19:54 <GH> [Principia] Dehim1 commented on issue #1237: Thx for the quick reply and quick FAQ update! Do you have any idea about when we might see Cardano? https://git.io/vyrVi

21:32 <GH> [Principia] pleroy commented on issue #1237: Well, we've been on it for a looong time now (since August) and it was nearly ready when 1.2 came out. And then we started to adapt to the new way of doing things in 1.2. We'd really like to have it behind us. Hopefully some time in April... https://git.io/vyrHy

21:56 <GH> [Principia] pleroy pushed 11 new commits to Cardano: https://git.io/vyrdt

21:56 <GH> Principia/Cardano 1ccfd58 Robin Leroy: maybe fix the bug

21:56 <GH> Principia/Cardano f2f107a Robin Leroy: try to make the tests build

21:56 <GH> Principia/Cardano ff655aa Robin Leroy: Merge remote-tracking branch 'la-vache/Cardano' into starting-thrust

22:48 <GH> [Principia] pleroy opened pull request #1241: Remove compatibility code (Cardano...NoCompatibility) https://git.io/vyrhQ