On Fri, Nov 6, 2015 at 1:38 PM, Heikki Linnakangas <hlinnaka(at)iki(dot)fi> wrote:> Thoughts? I'm leaning towards changing it now.
+1 to the idea of changing it.
-- Peter Geoghegan