diff -r 50e2d69f3ac7 -r 73d8de7b1359 docs/HISTORY.txt
--- a/docs/HISTORY.txt	Fri Feb 15 12:57:33 2019 +0100
+++ b/docs/HISTORY.txt	Fri Feb 15 13:25:12 2019 +0100
@@ -1,6 +1,10 @@
 History
 =======
 
+0.1.25.1
+--------
+ - reject "ignored" shared content types from views and search folders
+
 0.1.25
 ------
  - updated mappings and index info to get workflow visible publication date