--- 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