gh-136134: restore truncated comment post GH-136623 (#138088)
This amends 766614f88af0433c2c14f5c4ed11c92d0fb04e61 where a comment has been incorrectly truncated.
B
Bénédikt Tran committed
ab1bef8ad27ad531a1109cfc016ea627d94f9cc1
Parent: 6620ef0
Committed by GitHub <noreply@github.com>
on 8/23/2025, 10:17:14 AM