correct gui pin after checkpointing slip-up (#13841)

* correct gui pin after checkpointing slip-up

I forgot to make sure that the checkpoints for gui bump PRs used the
commit that was the result of checkpointing that commit in the GUI
repo.

* update
This commit is contained in:
Kyle Altendorf
2022-11-07 22:07:01 -06:00
committed by GitHub
parent 095b9c337e
commit 4a2acd7d3d