4 ms·Does the mailing-list PR model show you at a glance which PRs have been merged?by Majora320 8y agoDoes the mailing-list PR model show you at a glance which PRs have been merged?Sir_Cmpwn 8y agoNo, but eventually it will.