Can't make it today

due to a family emergency!

Bernard may not be able to make it either.

Top prio for us is to resolve stuff that blocks CR transition, so my 
hope would be that we (i.e. you, I trust your judgement) can

- Merge #1560 -> close #1520
- have a plan for producing PRs addressing #1178 & #1406 (I think we 
know what to do after the last interim)

I think that #1283, #1361 and #1383 needs next VI before we can resolve 

Apart from that, look at the PRs and merge those you deem mergeable 
(#1577 looks ready to me ;) ).


Received on Thursday, 21 September 2017 13:48:31 UTC