@ -2,7 +2,7 @@
set -e
VERSION="3.12"
VERSION="3.13"
source ./pika-build-config.sh
The note is not visible to the blocked user.