avsm changed the topic of #mirage to: mirage 2 released! party on!
AltGr has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
brson has quit [Quit: leaving]
brson has joined #mirage
brson has quit [Quit: leaving]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
brson has joined #mirage
larhat has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
brson has quit [Quit: leaving]
gargaml has joined #mirage
dsheets_ has joined #mirage
dsheets has quit [Ping timeout: 250 seconds]
damjan has left #mirage ["Konversation terminated!"]
andreas1 has quit [Quit: Leaving.]
dsheets_ has quit [Ping timeout: 246 seconds]
AltGr has left #mirage [#mirage]
mort___ has joined #mirage
dsheets_ has joined #mirage
andreas has joined #mirage
mort___ has quit [Ping timeout: 250 seconds]
mcclurmc_ has quit [Ping timeout: 264 seconds]
mcclurmc has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Client Quit]
rgrinberg has joined #mirage
vanila has joined #mirage
mekaj has quit [Ping timeout: 265 seconds]
mekaj has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mekaj has quit [Ping timeout: 250 seconds]
mekaj has joined #mirage
thomasga has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
dsheets_ has quit [Ping timeout: 246 seconds]
dsheets_ has joined #mirage
larhat has quit [Quit: Leaving.]
rgrinberg has joined #mirage
dsheets_ has quit [Ping timeout: 264 seconds]
jgjl has joined #mirage
yomimono has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
mcclurmc_ has joined #mirage
dsheets_ has joined #mirage
mcclurmc has quit [Ping timeout: 245 seconds]
dsheets_ has quit [Ping timeout: 255 seconds]
kdef has joined #mirage
dsheets_ has joined #mirage
jgjl has quit [Ping timeout: 240 seconds]
seangrove has quit [*.net *.split]
seangrove has joined #mirage
miragebot has joined #mirage
<
miragebot>
mirage/master 507305c Thomas Leonard: Remove unused IO_PAGE module type...
<
miragebot>
mirage/master 492ef00 Thomas Gazagnaire: Merge pull request #356 from talex5/remote-io-page...
miragebot has left #mirage [#mirage]
rgrinberg has quit [Quit: Leaving.]
miragebot has joined #mirage
<
miragebot>
mirage/master de48085 Thomas Leonard: Don't put '-classic-display' in the generated Makefiles...
<
miragebot>
mirage/master edd894e Thomas Gazagnaire: Merge pull request #364 from talex5/modern...
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<
miragebot>
mirage/master c61ba30 Thomas Gazagnaire: Check that opam is of the right version...
<
miragebot>
mirage/master 4e3a99e Thomas Gazagnaire: Merge pull request #353 from samoht/master...
miragebot has left #mirage [#mirage]
yomimono has quit [Ping timeout: 264 seconds]
andreas has quit [Ping timeout: 264 seconds]
kdef has quit [Quit: Leaving]
miragebot has joined #mirage
<
miragebot>
mirage/master 58f3e9a Thomas Gazagnaire: bump version
<
miragebot>
mirage/master 0363e04 Thomas Gazagnaire: Update CHANGES
<
miragebot>
mirage/master f834c2a Thomas Gazagnaire: Merge pull request #365 from samoht/version-bump...
miragebot has left #mirage [#mirage]
tlockney_away is now known as tlockney
thomasga has quit [Ping timeout: 265 seconds]
larhat has joined #mirage
mort___ has joined #mirage
thomasga has joined #mirage
kdef has joined #mirage
yomimono has joined #mirage
avsm has joined #mirage
rgrinberg has joined #mirage
avsm has quit [Ping timeout: 250 seconds]
miragebot has joined #mirage
<
miragebot>
mirage/master 0035ef6 Thomas Gazagnaire: Forward-proof the opam-version check
<
miragebot>
mirage/master c889c3d Thomas Gazagnaire: Merge pull request #366 from samoht/forward-version...
miragebot has left #mirage [#mirage]
rgrinberg1 has joined #mirage
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg1 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
yomimono has quit [Ping timeout: 250 seconds]
djs55 has joined #mirage
yomimono has joined #mirage
larhat has quit [Quit: Leaving.]
brson has joined #mirage
tlockney is now known as tlockney_away
rgrinberg has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
thomasga has joined #mirage
rgrinberg has joined #mirage
djs55 has quit [Quit: Leaving.]
nullcat has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
tlockney is now known as tlockney_away
vanila has quit [Quit: Leaving]
yomimono has quit [Ping timeout: 265 seconds]
gargaml has quit [Quit: WeeChat 1.1.1]
djs55 has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
kdef has quit [Quit: Leaving]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mort___ has quit [Ping timeout: 245 seconds]
djs55 has quit [Quit: Leaving.]
rgrinberg has quit [Client Quit]
thomasga has quit [Quit: Leaving.]