Does the mailing-list PR model show you at a glance which PRs have been merged?