0 people watching, 0 people responsible
| Summary | github hook ignores diverging usernames? |
| Queue | Horde.org Servers |
| Queue Version | Git |
| Type | Bug |
| State | Resolved |
| Priority | 1. Low |
| Owners | |
| Requester | ralf.lang (at) ralf-lang (dot) de |
| Created | 05/26/2011 (5178 days ago) |
| Due | |
| Updated | 12/01/2011 (4989 days ago) |
| Assigned | 11/30/2011 (4990 days ago) |
| Resolved | 12/01/2011 (4989 days ago) |
| Github Issue Link | |
| Github Pull Request | |
| Milestone | |
| Patch | No |