Skip to content

Commit

Permalink
update makefile for v8.11.1 release
Browse files Browse the repository at this point in the history
  • Loading branch information
@jbclements
jbclements committed Nov 26, 2023
1 parent 613a2c9 commit 834891c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@ CFLAGS_FOR_BUILD =

# This branch name must be changed each time the pb boot files are
# updated:
PB_BRANCH = v8.11
PB_BRANCH = v8.11.1
PB_REPO = https://github.com/racket/pb

# Set to empty for Git before v1.7.10:
Expand Down

0 comments on commit 834891c

Please sign in to comment.