Update HISTORY.md

dstrigl · Mar 17, 2020 · 74cd590 · 74cd590
1 parent 86862a5
commit 74cd590
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/HISTORY.md b/HISTORY.md
@@ -1,6 +1,6 @@
 # History
 
-## 0.1.3 (2020-??-??)
+## 0.1.3 (2020-03-17)
 
 * Fixed missing file `logging.conf`.
 * Corrected usage of host and port for the web server.