diff -r 4b36d3cc3d5e -r 41d6c78a4915 docs/HISTORY.txt
--- a/docs/HISTORY.txt	Fri Nov 09 10:43:01 2018 +0100
+++ b/docs/HISTORY.txt	Fri Nov 16 15:20:22 2018 +0100
@@ -1,6 +1,10 @@
 History
 =======
 
+0.1.8
+-----
+ - use secure WebSockets when using HTTPS
+
 0.1.7
 -----
  - use constants for roles