Nice catch. Fixed. On Mon, 12 Feb 2018 at 16:48, Kerim Aydin <ke...@u.washington.edu> wrote:
> > > > H. Rulekeepor, > > This annotation for R591: > > Amended(45) by Proposal 7975 "Auctions v6" (ATMunn; with o, Aris, > nichdel, G.), Nov 26, 2017 > > should be: > > Amended(45) by Proposal 7976 "A Mostest Ingenious Paradox" (Alexis; > with ais523), Nov 26, 2017 > > > >
