<yomimono>
hannes: thanks. I could swear this was discussed somewhere at some point more generally, but damned if I can remember... am mailing the list now anyway.
<hannes>
yomimono: I think we silently agreed that now that we have (nearly) 4.03, we can easily drop 4.01 (and since ppx/sexp/cstruct is moving forward, we can do it in the same release as dropping camlp4)
<yomimono>
hannes: Yeah -- I think we might be at the point that we need to start tracking what's left to do before a release
<yomimono>
since it will be huge and coordinated
nullcat has quit [Read error: No route to host]
<hannes>
ack. sounds good to me, maybe a github task list on mirage/mirage repo!?
tomboy64 has joined #mirage
nullcat has joined #mirage
<yomimono>
hannes: yeah, hopefully someone will make one - I think I don't have enough of a view on the scope of stuff that needs doing
mort___ has joined #mirage
* hannes
is still trying to find the sunny roof terrace..
<hannes>
s/still/still busy/
* yomimono
is still trying to find the sun...
<yomimono>
it must be up there somewhere :(
<yomimono>
just went to check the forecast and my browser remembered that I had been in sunny Morocco too
<hannes>
smart browser..
<hannes>
(I just asked for a week in March 2017)
<yomimono>
:D :D :D
<yomimono>
plz register me
noddy has joined #mirage
<Drup>
yomimono: people can edit your list, you can create the thread and let people fill it
aantron has joined #mirage
rudenoise has quit [Remote host closed the connection]
rudenoise has joined #mirage
jermar has quit [Remote host closed the connection]
rudenoise has quit [Remote host closed the connection]
rudenoise has joined #mirage
abeaumont_ has joined #mirage
rudenoise has quit []
nullcat has quit [Ping timeout: 248 seconds]
<engil>
yo maker
brson has joined #mirage
dsheets has quit [Remote host closed the connection]
jesusgollonet has quit [Remote host closed the connection]
dsheets has joined #mirage
dsheets has quit [Ping timeout: 248 seconds]
dsheets has joined #mirage
seangrove has quit [Ping timeout: 260 seconds]
tomboy64 has quit [Ping timeout: 240 seconds]
tomboy64 has joined #mirage
tomboy65 has joined #mirage
tomboy64 has quit [Ping timeout: 244 seconds]
mort___ has quit [Ping timeout: 268 seconds]
dsheets has quit [Remote host closed the connection]