This is 0.12.3.

diku-dk · Nov 9, 2019 · 1e2e36a · 1e2e36a
1 parent 382927b
commit 1e2e36a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,7 +5,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
 and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
 
-## [0.13.0]
+## [0.12.3]
 
 ### Added
 
@@ -19,10 +19,6 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
   * Pattern-matching on large sum typed-values taken from arrays may
     be a bit faster.
 
-### Removed
-
-### Changed
-
 ### Fixed
 
   * Various small fixes to type errors.

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: futhark
-version: "0.13.0"
+version: "0.12.3"
 synopsis: An optimising compiler for a functional, array-oriented language.
 description: |
   Futhark is a small programming language designed to be compiled to