push new version to github

microsoft · May 11, 2019 · 897b152 · 897b152
1 parent b81aa33
commit 897b152
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/History.md b/History.md
@@ -1,4 +1,4 @@
-## 2.5.1 *
+## 2.5.1
 - Fixed API wrapper for PortMemoryLayout to produce correct extent
 - Fixed processing of ConcatenationNode in importer engine
 - Added four build target aliases that build groups of targets: bindings, libraries, tests, and tools

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.5.0
+2.5.1