Should there be a branch-0.10 on GitHub? The current pom.xml on master is
referring to the 0.11.0-SNAPSHOT.

Deron

Reply via email to