raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Erdős. We currently target 1.3.1, and 1.5.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…
_whitelogger has joined #principia
egg|zzz|egg has quit [Ping timeout: 180 seconds]
_whitelogger has joined #principia
armed_troop has quit [Quit: Bye]
armed_troop has joined #principia
_whitelogger has joined #principia
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
Wetmelon has quit [Ping timeout: 183 seconds]
_whitelogger has joined #principia
egg|zzz|egg has joined #principia
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #principia
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #principia
egg|zzz|egg has quit [Ping timeout: 202 seconds]
_whitelogger has joined #principia
Emankcin has joined #principia
Emankcin has quit [Client Quit]
egg|work|egg has joined #principia
_whitelogger has joined #principia
NolanSyKinsley has joined #principia
_whitelogger has joined #principia
egg|zzz|egg has joined #principia
_whitelogger has joined #principia
Wetmelon has joined #principia
egg|zzz|egg has quit [Ping timeout: 183 seconds]
UmbralRaptop has quit [Remote host closed the connection]
egg|zzz|egg has joined #principia
UmbralRaptop has joined #principia
UmbralRaptop has quit [Remote host closed the connection]
egg|zzz|egg has quit [Ping timeout: 190 seconds]
egg|zzz|egg has joined #principia
UmbralRaptop has joined #principia
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #principia
_whitenotifier has joined #principia
<_whitenotifier> [Principia] pleroy opened pull request #2055: Fix problems found on Linux - https://git.io/fhONM
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3424/
<_whitenotifier> [Principia] eggrobin reviewed pull request #2055 commit - https://git.io/fhOAt
<_whitenotifier> [Principia] eggrobin labeled pull request #2055: Fix problems found on Linux - https://git.io/fhONM
<_whitenotifier> [Principia] pleroy synchronize pull request #2055: Fix problems found on Linux - https://git.io/fhONM
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3424/
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3425/
egg|zzz|egg has quit [Ping timeout: 198 seconds]
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3425/
Jesin has joined #principia
<_whitenotifier> [Principia] pleroy pushed 3 commits to master [+0/-6/±7] https://git.io/fhOhu
<_whitenotifier> [Principia] pleroy 483fa42 - Fix problems found on Linux.
<_whitenotifier> [Principia] pleroy 2e17ca0 - After egg's review
<_whitenotifier> [Principia] pleroy afba64d - Merge pull request #2055 from pleroy/Linux Fix problems found on Linux
<_whitenotifier> [Principia] pleroy closed pull request #2055: Fix problems found on Linux - https://git.io/fhONM
egg|zzz|egg has joined #principia
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 190 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #principia
egg|zzz|egg has quit [Ping timeout: 189 seconds]
_whitelogger has joined #principia
Jesin has quit [Ping timeout: 189 seconds]
egg|zzz|egg has joined #principia
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #principia