Revert "resolved conflicts for merge of 8788d140 to master"

This reverts commit 2874c3dec4f9ffd59b2be3de62c1148534396828, reversing
changes made to 7afbb30d636351334d101fd0caef391fa409230d.
8 files changed