[wp-meta] [Making WordPress.org] #2539: Usernames with a space do not work with mentions in trac

[Making WordPress.org]

#2539: Usernames with a space do not work with mentions in trac
----------------------------+---------------------
 Reporter:  grapplerulrich  |       Owner:  dd32
     Type:  defect          |      Status:  closed
 Priority:  high            |   Milestone:
Component:  Trac            |  Resolution:  fixed
 Keywords:  needs-patch     |
----------------------------+---------------------

Comment (by dd32):

 In [changeset:"8090" 8090]:
 {{{
 #!CommitTicketReference repository="" revision="8090"
 Trac: Bump scripts version after r8089.

 See #2539.
 }}}

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