UmbralRaptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Fano. We currently target 1.3.1, 1.4.x, 1.5.1, and 1.6.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
lamont has joined #principia
Mike` has quit [Ping timeout: 183 seconds]
Mike` has joined #principia
egg|zz|egg has quit [Ping timeout: 190 seconds]
<_whitenotifier-3d18> [Principia] pleroy opened pull request #2138: Rename the Slippist b planet. - https://git.io/fjYpM
egg|zz|egg has joined #principia
Iskierka has quit [Ping timeout: 198 seconds]
Iskierka has joined #principia
Iskierka has quit [Read error: Connection reset by peer]
Iskierka has joined #principia
Jesin has quit [Quit: Leaving]
Jesin has joined #principia
Technicalfool has quit [Ping timeout: 198 seconds]
Daz has quit [Remote host closed the connection]
Daz has joined #principia
<_whitenotifier-3d18> [Principia] eggrobin labeled pull request #2138: Rename the Slippist b planet. - https://git.io/fjYpM
<_whitenotifier-3d18> [Principia] Pending. Build queued… - 
<_whitenotifier-3d18> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3557/
<_whitenotifier-3d18> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3557/
Jesin has quit [Ping timeout: 202 seconds]
egg|zz|egg has quit [Remote host closed the connection]
Jesin has joined #principia
<_whitenotifier-3d18> [Principia] pleroy closed issue #2129: Update the TRAPPIST-1 patch for SLIPPIST-1 0.7.0 - https://git.io/fjqnv
<_whitenotifier-3d18> [Principia] pleroy pushed 2 commits to master [+0/-0/±4] https://git.io/fjO3t
<_whitenotifier-3d18> [Principia] pleroy c0344a1 - Rename the b planet.
<_whitenotifier-3d18> [Principia] pleroy 4f8ff41 - Merge pull request #2138 from pleroy/2129 Rename the Slippist b planet.
<_whitenotifier-3d18> [Principia] pleroy closed pull request #2138: Rename the Slippist b planet. - https://git.io/fjYpM