Comment 30 for bug 1722478

Hi, i have some problems reverting the commit. This is what i did:

$ git checkout 03b22057e8ed

$ git revert 0ab3fa57425023f42e8822a293d9b87a3ad4e2b3

error: could not revert 0ab3fa574250... Input: psmouse - implement fast reconnect option
hint: after resolving the conflicts, mark the corrected paths
hint: with 'git add <paths>' or 'git rm <paths>'
hint: and commit the result with 'git commit'

$ git status
HEAD detached at 03b22057e8ed
You are currently reverting commit 0ab3fa574250.
  (fix conflicts and run "git revert --continue")
  (use "git revert --abort" to cancel the revert operation)

Changes to be committed:
  (use "git reset HEAD <file>..." to unstage)

 modified: drivers/input/mouse/psmouse.h

Unmerged paths:
  (use "git reset HEAD <file>..." to unstage)
  (use "git add <file>..." to mark resolution)

 both modified: drivers/input/mouse/psmouse-base.c

I didn't want to mess around with kernel files and therefore tried to build a kernel prior to this commit:

 git checkout 0ab3fa57425023f42e8822a293d9b87a3ad4e2b3^

however this doesn't build with the same error as above.

could you please supply us a kernel without this commit? maybe even v4.13.11? This would also allow others to check it?