Closed RalfJung closed 6 months ago
@bors r+
@bors r+
:pushpin: Commit 8a0a51d1816ec65f1e2af911799b6ba06278c4f0 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 8a0a51d1816ec65f1e2af911799b6ba06278c4f0 with merge 86d8111646c4d708727e833a417fb7e2638c31f7...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 86d8111646c4d708727e833a417fb7e2638c31f7 to master...
That seems to be implicit for
if:
(but interestingly, redundant braces are tolerated).