top | item 18473501 (no title) Majora320 | 7 years ago Does the mailing-list PR model show you at a glance which PRs have been merged? discuss order hn newest Sir_Cmpwn|7 years ago No, but eventually it will.
Sir_Cmpwn|7 years ago