On: patching linux-3.10.19 (was Re: patches for applying patch-3.10.17-vs2.3.6.6.diff to linux-3.10.18)

November 2013