Oct. 19, 2016
9:43 p.m.
On 10/19/2016 02:25 PM, Tim Parenti wrote:
Unfortunately, this affects timestamps about 23.5 hours from now, so I've put it under "past and future" in the NEWS file.
I will try to get a release out soon. Thanks for your patch. I installed it into the development repository, along with the attached tweaks to the comments, under the optimistic assumption that we can cut a release before the rule change takes effect.