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
|
Sun, 15 Jun 2014 17:28:02 -0400 |
David A. Holland |
document previous better
|
Sun, 15 Jun 2014 17:21:54 -0400 |
David A. Holland |
Add stuff for automatic feedback timeout.
|