--- a/docs/HISTORY.txt Fri Mar 22 17:40:32 2019 +0100
+++ b/docs/HISTORY.txt Wed Mar 27 09:05:07 2019 +0100
@@ -1,6 +1,13 @@
History
=======
+0.1.17
+------
+ - use request header to store posted thesaurus name (this is required when we need to change
+ thesaurus and extract names in the same transaction, on a themes manager)
+ - updated terms selection tree widget to display colored banner on lists containing at least
+ one selected term
+
0.1.16.1
--------
- updated separator in thesaurus term selection widget to allow terms containing commas