Comment 4 for bug 1667645

This bug was fixed in the package miral - 1.3.0+17.04.20170303-0ubuntu1

---------------
miral (1.3.0+17.04.20170303-0ubuntu1) zesty; urgency=medium

  * New upstream release 1.3.0 (https://launchpad.net/miral/+milestone/1.3)

    - ABI summary:
      . miral ABI unchanged at 2
    - Enhancements:
      . [libmiral] Support for workspaces
      . [libmiral] Add miral::WindowManagerTools::focus_prev_within_application
                   (LP: #1668562)
      . [libmirclientcpp] A better description of libmirclientcpp-dev
      . [libmirclientcpp] Add RAII wrapper for MirDisplayConfig.
      . [libmirclientcpp] Prevent accidental double-release by deleting release
                          functions for handle classes
      . [miral-shell] Example workspaces implementation
      . [miral-shell] Use background to show keyboard shortcuts
    - Bugs fixed:
      . [libmiral] Join internal client threads before server shutdown
                   (LP: #1668651)
      . [miral-shell] Workaround for crash on exit (LP: #1667645)

 -- Alan Griffiths <email address hidden> Fri, 03 Mar 2017 10:19:14 +0000