I _think_ they are ready to merge (though someone else perhaps should take a second look). We did not get to talk about them yesterday. Br, StefanReceived on Friday, 31 August 2018 11:15:10 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:19:06 UTC