Also, the second bug that Oskar lists above, https://github.com/linuxmint/Cinnamon/issues/114, is closed.
Also, the second bug that Oskar lists above, https:/ /github. com/linuxmint/ Cinnamon/ issues/ 114, is closed.