ok, I've committed it but I've left the default at "don't pin." That way the existing behaviour hasn't changed and it's easy to flip on to play with. Thanks for the feedback John / Peter! -aReceived on Fri May 09 2014 - 22:54:24 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:49 UTC