[Bug 1256675] Re: RM: crtools -- renamed to criu; RoM

[Pavel Emelianov]

The patch accepted, thank you.

-- 
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1256675

Title:
  RM: crtools -- renamed to criu; RoM

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/crtools/+bug/1256675/+subscriptions