linuxmint/Cinnamon — pull request #1906 by Lusito (2013-04-23 18:03:41+00:00)
Title: Extension Load Fixes

- Fix problem with out of date extensions getting loaded improperly
- Making point version in required extension version optional