[CRIU] [PATCH] zdtm: Use /usr/bin/diff instead of /bin/diff
Pavel Emelyanov
xemul at parallels.com
Mon Jan 18 10:06:00 PST 2016
Previous message:
[CRIU] [PATCH] zdtm: Use /usr/bin/diff instead of /bin/diff
Next message:
[CRIU] Linux Plumbers: call for topics
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Applied, thanks!
Previous message:
[CRIU] [PATCH] zdtm: Use /usr/bin/diff instead of /bin/diff
Next message:
[CRIU] Linux Plumbers: call for topics
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the CRIU mailing list