diff --git a/version.tex b/version.tex index 53a120c..ba92906 100644 --- a/version.tex +++ b/version.tex @@ -1 +1 @@ -\providecommand{\version}{0.8.0} +\providecommand{\version}{0.8.1}