Wed, 13 Aug 2014 03:03:30 -0400 |
David A. Holland |
more better stuff
|
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.
|
Sun, 15 Jun 2014 17:54:11 -0400 |
David A. Holland |
improvements in message handling
|