This bug was fixed in the package mir - 0.0.8+13.10.20130807.3-0ubuntu1
---------------
mir (0.0.8+13.10.20130807.3-0ubuntu1) saucy; urgency=low
[ Robert Ancell ]
* platform: Install and use mirplatform headers. (LP: #1209104)
[ Daniel van Vugt ]
* Revert r931. It is causing instant and widespread crashes (LP:
#1209053). (LP: #1209053)
[ Alan Griffiths ]
* platform: remove spurious ${MIR_COMMON_PLATFORM_LIBRARIES}.
* platform: Install and use mirplatform headers. (LP: #1209104)
[ Christopher James Halse Rogers ]
* Fix multihead API usage in EGL example clients.
[ Ubuntu daily release ]
* Automatic snapshot from revision 937
-- Ubuntu daily release <[email protected]> Wed, 07 Aug 2013
16:24:16 +0000
** Branch linked: lp:ubuntu/saucy-proposed/mir
** Changed in: mir (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1209104
Title:
libmirplatform headers not packaged
To manage notifications about this bug go to:
https://bugs.launchpad.net/mir/+bug/1209104/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs