Merge remote-tracking branch 'refs/remotes/origin/master'

Author: puredanger

pom.xml

@@ -2,7 +2,7 @@
 <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
   <modelVersion>4.0.0</modelVersion>
   <artifactId>spec.alpha</artifactId>
-  <version>0.4.234-SNAPSHOT</version>
+  <version>0.5.239-SNAPSHOT</version>
   <name>spec.alpha</name>
   <description>Specification of data and functions</description>