diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md
index da94f11..797c0be 100644
--- a/Deep-Verification-Base.md
+++ b/Deep-Verification-Base.md
@@ -2,6 +2,7 @@ The Deep Verification Base development happens in the "dvb" branch: https://gith
 
 Updates:
 * [[2018-12-31 First functional implementation of a netlist extractor|2018-12-31]]
+* [[2019-01-07 Stable, performance improvement, functionality|2019-01-07]]
 
 # The problem