diff -r 105ed42a4687 -r 85b7d96978a1 docs/HISTORY.txt
--- a/docs/HISTORY.txt	Mon Oct 29 15:46:24 2018 +0100
+++ b/docs/HISTORY.txt	Tue Oct 30 12:28:25 2018 +0100
@@ -1,6 +1,10 @@
 History
 =======
 
+0.1.25.1
+--------
+ - updated CSS to handle Leaflet GeoJSON/SVG layers
+
 0.1.25
 ------
  - updated JQuery validate plug-in translations strings