#762Declined Pull Request
Revert accidental merge of PR #637
hythloda08-09-2026Last activity 2d ago
needs-sig-labelneeds-champion
Reverts #637, which was inadvertently merged while reviewing the latest edits. The proposal will be resubmitted for the remaining review and approval process.