opf/openproject — pull request #726 by meeee (2013-12-06 10:14:50+00:00)
Title: Change search keyboard shortcut to / to be consistent with GitHub

No ticket for this.