avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has quit [Quit: leaving]
andreas23 has quit [Ping timeout: 258 seconds]
andreas23 has joined #mirage
seangrove has joined #mirage
rgrinberg has joined #mirage
andreas23 has quit [Quit: Leaving.]
andreas23 has joined #mirage
brson has joined #mirage
andreas231 has joined #mirage
andreas23 has quit [Ping timeout: 244 seconds]
noddy has quit [Ping timeout: 240 seconds]
jermar has joined #mirage
jermar has quit [Ping timeout: 258 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
seangrove has quit [Ping timeout: 244 seconds]
brson has quit [Ping timeout: 240 seconds]
copy` has quit [Quit: Connection closed for inactivity]
seangrove has joined #mirage
dexterph` has joined #mirage
andreas231 has quit [Quit: Leaving.]
seangrove has quit [Ping timeout: 258 seconds]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
andreas23 has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 276 seconds]
jermar has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 250 seconds]
mort___ has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 265 seconds]
mrutland has quit [Quit: bye...]
mrutland has joined #mirage
yomimono has joined #mirage
rgrinberg has joined #mirage
miragebot has joined #mirage
<
miragebot>
mirage/master c3495be pqwy: emit a target-specific ocamlfind predicate
<
miragebot>
mirage/master afa469a Mindy Preston: Merge pull request #568 from pqwy/prediquery...
miragebot has left #mirage [#mirage]
yomimono has quit [Ping timeout: 260 seconds]
agarwal1975 has quit [Quit: agarwal1975]
copy` has joined #mirage
seangrove has joined #mirage
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #mirage
seangrove has quit [Ping timeout: 276 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
jermar has quit [Ping timeout: 258 seconds]
seangrove has joined #mirage
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
agarwal1975 has joined #mirage
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
rgrinberg has joined #mirage
dexterph` has quit [Ping timeout: 244 seconds]
mort___ has left #mirage [#mirage]
brson has joined #mirage
andreas23 has quit [Ping timeout: 252 seconds]
jermar has joined #mirage
jermar has quit [Ping timeout: 252 seconds]
jermar has joined #mirage
seangrove has quit [Ping timeout: 244 seconds]
jermar has quit [Ping timeout: 258 seconds]
agarwal1975 has quit [Quit: agarwal1975]