diff -r 9d6b0f92c710 -r 560a60fcf6ee configure --- a/configure Wed May 20 15:54:54 2026 +0200 +++ b/configure Sun May 24 12:18:44 2026 +0200 @@ -210,11 +210,11 @@ fi if [ -z "$VERSION__initialized__" ] ; then VERSION__initialized__=1 - VERSION='4.0.1' + VERSION='4.0.2' fi if [ -z "$LIBVERSION__initialized__" ] ; then LIBVERSION__initialized__=1 - LIBVERSION='7.0.1' + LIBVERSION='7.0.2' fi if [ -z "$LIBVERSION_MAJOR__initialized__" ] ; then LIBVERSION_MAJOR__initialized__=1