Rename some ticket stubs.

pull/8495/merge
Michael DeHaan 10 years ago
parent 89447cfa63
commit 67b76d79eb
Loading…
Cancel
Save