From 32c1e38b84d1b8d9b80b82397148b0f5b5e595aa Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sat, 23 Mar 2019 21:14:30 -0400
Subject: [PATCH] devel release

---
 Changes      | 3 +++
 configure.ac | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Changes b/Changes
index b909c2395..83c28a734 100644
--- a/Changes
+++ b/Changes
@@ -2,6 +2,9 @@ Revision history for Verilator
 
 The contributors that suggested a given feature are shown in []. Thanks!
 
+* Verilator 4.013 devel
+
+
 * Verilator 4.012 2019-3-23
 
 ***   Add +verilator+seed, bug1396. [Stan Sokorac]
diff --git a/configure.ac b/configure.ac
index 466a4823a..9b248823a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -6,7 +6,7 @@
 
 #AC_INIT([Verilator],[#.### YYYY-MM-DD])
 #AC_INIT([Verilator],[#.### devel])
-AC_INIT([Verilator],[4.012 2019-03-23],
+AC_INIT([Verilator],[4.013 devel],
         [https://www.veripool.org/verilator],
         [verilator],[https://www.veripool.org/verilator])
 # When releasing, also update header of Changes file