am 7ff3b8d5: (-s ours) reset back to 96d34bc

* commit '7ff3b8d526d6cc6d6a99f4287451fc53e83f4746':