am 801131cb: (-s ours) Remove special-case - do not merge

* commit '801131cb4142027089d61fb2e5c5701696316144':
  Remove special-case - do not merge