Update of release date

kieker-monitoring · May 12, 2020 · bc99809 · bc99809
1 parent 0332dc8
commit bc99809
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/HISTORY b/HISTORY
@@ -5,7 +5,7 @@ http://kieker-monitoring.net) contains details on the changes.
 
 Please refer to the Kieker User Guide for details on using Kieker.
 
-* 1.14 (May 11, 2020)
+* 1.14 (May 12, 2020)
 - New features (selection)
   - Integration of a novel pipes-and-filter framework and filters in 
     Kieker.Analysis based on TeeTime (teetime-framework.github.io