On 05/02/2013 07:21 AM, Kir Kolyshkin wrote: > This patchset renames crtools(1) man page to criu(8), and brings > some assorted fixes and improvements to its formatting. > > applied, thanks