egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Coxeter. We currently target 1.2.2, 1.3.1, and 1.4.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
egg is now known as egg|zzz|egg
Rokker has quit [Quit: Connection closed for inactivity]
UmbralRaptop has joined #principia
Rokker has joined #principia
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
armed_troop has quit [Quit: Bye]
armed_troop has joined #principia
armed_troop has quit [Ping timeout: 198 seconds]
armed_troop has joined #principia
Mike` has quit [Ping timeout: 182 seconds]
Mike` has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
Rokker has quit [Quit: Connection closed for inactivity]
<GH> [Principia] pleroy opened pull request #1798: Upgrade to Preview 4 (master...Preview4) https://git.io/vpOO6
<GH> [Principia] pleroy pushed 2 new commits to master: https://git.io/vpOsf
<GH> Principia/master e53aafd pleroy: The usual fixes.
<GH> Principia/master 8477f25 Pascal Leroy: Merge pull request #1798 from pleroy/Preview4...
Rokker has joined #principia
UmbralRaptop has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
UmbralRaptop has joined #principia
Qboid was kicked from #principia by *status [You have been disconnected from the IRC server]
Qboid has joined #principia
egg|zzz|egg has quit [Ping timeout: 186 seconds]
VITAS has quit [Ping timeout: 186 seconds]
VITAS has joined #principia
oeuf is now known as egg
Dazzyp has joined #principia
Daz has quit [Ping timeout: 186 seconds]
Dazzyp is now known as Daz
<GH> [Principia] pleroy opened pull request #1799: Support for Gipfeli compression in PullSerializer (master...Gipfeli) https://git.io/vpOBX
<GH> [Principia] pleroy commented on issue #1799: retest this please https://git.io/vpOBx
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 186 seconds]
kmath has quit [Ping timeout: 186 seconds]
UmbralRaptop has joined #principia
UmbralRaptor has quit [Ping timeout: 198 seconds]