tree 640c3f8649dcde8ea09f43495ccbd4ccd10c8a7e
parent 666d534636d262cbfd971509dd0f0be0cddb2e11
author Anthony King <anthonydking@slimroms.net> 1399364379 +0100
committer Anthony King <anthonydking@slimroms.net> 1399380155 +0000

Use sorted() rather than .sort()

dict.keys() produces a dict_keys object in Python 3, which does
not support .sort(). Use sorted() which will give the same outcome.

Change-Id: If6b33db07a31995b4e44959209d08d8fb74ae339