Hi Michael, On 19.08.19 23:44, Michael Kerrisk (man-pages) wrote: > Is the version number you propose correct? When I check: > > $ git describe --contains 9830f4be159b > v4.13-rc1~70^2~30 > > So, should be 4.13, no? Yes indeed, it should be. I will resend the patch, with the corrected version. > > Thanks, > > Michael >
