so the 1.3 upgrade and the

-S-Xlog-implicits

thing happened in the same commit, or in separate commits?