Repository navigation
RFM: 'first element of a list' nickname fork (roster first / list_head / list_at_optional) - #13380
Closed
gunbai-bot[bot] wants to merge 2 commits into
Closed
gunbai-bot[bot] wants to merge 2 commits into
gunbai-bot[bot] wants to merge 2 commits into
Commits
Commits on Oct 5, 2026