12 Jul
2013
12 Jul
'13
1:51 p.m.
On Fri, Jul 12, 2013 at 01:33:55PM +0200, Peter Ujfalusi wrote:
+/* TODO: This file can be removed in 3.12 since it is no longer needed */
It's a bit late to do this for v3.11 so may as well just jump straight to the removal? Having the extra code isn't going to actively break anything so it's just a cleanup.