UmbralRaptor changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer. | We can haz pdf
<_whitenotifier-d13c>
[Principia] pleroy opened pull request #2563: Checks and cleanups added while investigating a purported leak - https://git.io/JfCzd
<_whitenotifier-d13c>
[Principia] eggrobin labeled pull request #2563: Checks and cleanups added while investigating a purported leak - https://git.io/JfCzd
<_whitenotifier-d13c>
[Principia] pleroy closed pull request #2563: Checks and cleanups added while investigating a purported leak - https://git.io/JfCzd
<_whitenotifier-d13c>
[Principia] pleroy pushed 3 commits to master [+0/-0/±12] https://git.io/JfC6D
<_whitenotifier-d13c>
[Principia] pleroy f7002b2 - Cleanups and checks.
<_whitenotifier-d13c>
[Principia] pleroy 82fbd97 - Merge branch 'master' into PossibleLeak
<_whitenotifier-d13c>
[Principia] pleroy 48f2466 - Merge pull request #2563 from pleroy/PossibleLeak Checks and cleanups added while investigating a purported leak