From 0f81cfa3eb6c233910109c84c030b321721d1fea Mon Sep 17 00:00:00 2001 From: zbhupav <51440892+zbhupav@users.noreply.github.com> Date: Tue, 14 Jan 2020 14:25:32 +0530 Subject: [PATCH] Uplifted RemRem generate and semantics versions (#157) --- CHANGELOG.md | 4 ++++ pom.xml | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8d9ea4b2..147c2abe 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,7 @@ +## 2.0.11 +- Added REMReM Generate documentation in master branch +- Uplifted eiffel-remrem-semantics version from 2.0.8 to 2.0.9. + ## 2.0.10 - Uplifted eiffel-remrem-semantics version from 2.0.6 to 2.0.8. diff --git a/pom.xml b/pom.xml index cf1cbc0e..c8f801fe 100644 --- a/pom.xml +++ b/pom.xml @@ -10,9 +10,9 @@ - 2.0.10 + 2.0.11 2.0.2 - 2.0.8 + 2.0.9 eiffel-remrem-generate ${eiffel-remrem-generate.version}