There were no commits to library/* since 1.71.0, which really confused me; I ran the git subtree push ... part like 4 times today thinking I somehow messed it up or had my repo in a weird state (each time it takes a few hours...)
I added a note to the upgrading guide about this, in case it happens again. Other than that, the lack of changes upstream means this just tweaks a few version numbers in a couple places.
Don't merge, this is just for CI and such.
There were no commits to
library/*
since 1.71.0, which really confused me; I ran thegit subtree push ...
part like 4 times today thinking I somehow messed it up or had my repo in a weird state (each time it takes a few hours...)I added a note to the upgrading guide about this, in case it happens again. Other than that, the lack of changes upstream means this just tweaks a few version numbers in a couple places.