Peter Donald Tue, 05 Dec 2017 14:35:23 -0800
+1 from me. The goal of the release is just to fix that one bug that slipped through.
-- Cheers, Peter Donald