On 2011-12-19 17:38, Alexander Bruy wrote: > Seems there are no objections. So I'll wait to Tuesday and then push > this to master Tuesday-patchday :-) http://en.wikipedia.org/wiki/Patch_Tuesday