It appears the changes from pull request #160 got lost. I think this happened because I originally had these changes in pull request #159, but I reverted them there so I could split them off into a separate pull request because it didn't belong there. You merged #160 first and then #159 later, which probably caused the commit to get applied from #160, then applied again in #159 (which caused no changes) and then reverted by #159 (I cherry picked the change, causing it to use the same commit hash).
Hello
It appears the changes from pull request #160 got lost. I think this happened because I originally had these changes in pull request #159, but I reverted them there so I could split them off into a separate pull request because it didn't belong there. You merged #160 first and then #159 later, which probably caused the commit to get applied from #160, then applied again in #159 (which caused no changes) and then reverted by #159 (I cherry picked the change, causing it to use the same commit hash).