Oops. Actually this never was really fixed. We haven't converted
libmir*platform*.so yet...
More work is still coming: lp:~raof/mir/privatise-all-the-things
** Changed in: mir
Milestone: None => 0.7.0
** Changed in: mir
Status: Fix Released => In Progress
** Changed in: mir (Ubuntu)
Status: Fix Released => In Progress
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1293944
Title:
Mir deb packages with versioned names cannot be installed
simultaneously any more
To manage notifications about this bug go to:
https://bugs.launchpad.net/mir/+bug/1293944/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
