K 10
svn:author
V 3
wxs
K 8
svn:date
V 27
2014-06-02T16:06:35.562333Z
K 7
svn:log
V 158
Revert previous commit. The patch was already applied but the PR was
not closed due to the migration. Looks like miwi@ reversed the patch when
he applied it.

END