[CRIU] [PATCH 00/11] Headers cleanup

Cyrill Gorcunov gorcunov at gmail.com
Thu Nov 14 12:14:50 PST 2013


On Thu, Nov 14, 2013 at 11:49:47PM +0400, Andrey Wagin wrote:
> Welcome to the club of header optimizators!
> 

Yeah :)


More information about the CRIU mailing list