[wp-meta] [Making WordPress.org] #6555: Restore the Edit functionality for PR bot comments on Trac

[Making WordPress.org]

#6555: Restore the Edit functionality for PR bot comments on Trac
-------------------------+---------------------
 Reporter:  dd32         |       Owner:  dd32
     Type:  enhancement  |      Status:  closed
 Priority:  normal       |   Milestone:
Component:  Trac         |  Resolution:  fixed
 Keywords:  has-patch    |
-------------------------+---------------------
Changes (by dd32):

 * owner:  (none) => dd32
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"12168" 12168]:
 {{{
 #!CommitTicketReference repository="" revision="12168"
 Trac: Allow editing PR bot comments.

 Closes https://github.com/WordPress/wordpress.org/pull/105.
 Fixes #6555.
 }}}

-- 
Ticket URL: <https://meta.trac.wordpress.org/ticket/6555#comment:2>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org