hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Dec 7th) - next call Nov 28th 16:00 GMT https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.1 is released - happy hacking!
iovec has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #mirage
pagurus has joined #mirage
pagurus` has quit [Ping timeout: 272 seconds]
_whitelogger_ has joined #mirage
_whitelogger has joined #mirage
miragebot has joined #mirage
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/fhkIB
<miragebot> mirage/master b84dbcd Hannes Mehnert: Use String.split_on_char instead of Astring in mirage-runtime
<miragebot> mirage/master 2989f13 Anil Madhavapeddy: Merge pull request #957 from hannesm/no-astring...
miragebot has left #mirage [#mirage]
mort___ has joined #mirage
jnavila has joined #mirage
iovec has joined #mirage
jnavila has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
jnavila has joined #mirage
_whitelogger has joined #mirage
kakekongen has joined #mirage
vit has joined #mirage
vit has quit [Quit: Page closed]
roygbiv has joined #mirage
roygbiv has quit [Quit: ™]
jnavila has quit [Ping timeout: 252 seconds]
iovec has quit [Quit: Connection closed for inactivity]
Haudegen has joined #mirage
jnavila has joined #mirage
jnavila has quit [Client Quit]
jnavila has joined #mirage
_whitelogger has joined #mirage
Haudegen has quit [Ping timeout: 250 seconds]
jnavila has quit [Quit: Konversation terminated!]
iovec has joined #mirage
Haudegen has joined #mirage