20 Feb
2018
20 Feb
'18
9:34 p.m.
I think we are ready to release 3.3.1.5 as 3.3.2
I am quite busy this week, so it will probably take me a while to get through the necessary drudgery to actually make the release, but there is a good population of fixes to send out, so I'll make it happen.
Best, r