diff -r 91b51d5e32e7 -r f10973853d11 docs/HISTORY.txt
--- 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