diff -r 221e8b0721f7 -r f71fb1a281ef docs/HISTORY.txt
--- a/docs/HISTORY.txt	Tue Nov 27 17:21:15 2018 +0100
+++ b/docs/HISTORY.txt	Fri Nov 30 14:44:01 2018 +0100
@@ -1,6 +1,10 @@
 History
 =======
 
+0.1.13
+------
+ - sort extensions by weight in "ThesaurusTerm.query_extensions()"" method
+
 0.1.12
 ------
  - use alternate label in terms tree selection widget when available