workspace: Fix doc comments (#22063)
Happened to see that the doc comments here were not correct while implementing something else. Release Notes: - N/A
H
Helge Mahrt committed
ce727fbc0758cc0176d1c854b96599e6e8ed40ae
Parent: 62b3ace
Committed by GitHub <noreply@github.com>
on 12/16/2024, 1:27:14 PM