Require Wattsi version >=140

This incorporates fixes to the <ref> processing.
whatwg · Aug 8, 2023 · 03c8bb2 · 03c8bb2
1 parent b6d5e10
commit 03c8bb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -10,7 +10,7 @@ DIR=$(pwd)
 # The latest required version of Wattsi. Update this if you change how ./build.sh invokes Wattsi;
 # it will cause a warning if Wattsi's self-reported version is lower. Note that there's no need to
 # update this on every revision of Wattsi; only do so when a warning is justified.
-WATTSI_LATEST=137
+WATTSI_LATEST=140
 
 # Shared state variables throughout this script
 LOCAL_WATTSI=true