Skip to content

Commit

Permalink
Require the latest Wattsi
Browse files Browse the repository at this point in the history
This ensures we pull in the <ref> changes in whatwg/wattsi#152.
  • Loading branch information
domenic committed Aug 6, 2023
1 parent 99dc91e commit b6d5e10
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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=136
WATTSI_LATEST=137

# Shared state variables throughout this script
LOCAL_WATTSI=true
Expand Down

0 comments on commit b6d5e10

Please sign in to comment.