log

age author description
Tue, 12 Aug 2014 21:55:08 -0400 David A. Holland new stuff (checkpoint when moved between machines)
Mon, 16 Jun 2014 01:27:54 -0400 David A. Holland update
Mon, 16 Jun 2014 01:27:45 -0400 David A. Holland Add another admin queue type for comments on nonexistent PRs.
Sun, 15 Jun 2014 18:16:19 -0400 David A. Holland add administrative queue
Sun, 15 Jun 2014 18:16:12 -0400 David A. Holland add unique indexes on number_in_pr
Sun, 15 Jun 2014 17:55:56 -0400 David A. Holland The initial description, how_to_repeat, and fix go in the first message.