Bug#785336: [pkg-cinnamon] Bug#785336: Broken extensions can prevent cinnamon from starting

[Fabio Fantoni]

Control: notforwarded -1
Control: tag -1 -wontfix -|fixed-upstream Norbert Preining is working for 
solves it:
https://github com/linuxmint/cinnamon/pull/8873 |