*** This bug is a duplicate of bug 1256675 ***
https://bugs.launchpad.net/bugs/1256675
** This bug has been marked a duplicate of bug 1256675
RM: crtools -- renamed to criu; RoM
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
Thanks for taking your time to submit this issue and help making Ubuntu
better.
Did you see bug 1256675? It seems like this package will be replaced
criu which has a later version available. Though that seems to only be
in Debian experimental and not synced to Ubuntu yet.
Oh, I've missed the bug to replace crtools with criu, sorry.
Yes, such a replacement is the way to go, so this bug can be marked as
duplicate or closed.
Thank you!
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
