This fixes #8089.  It now checks PushHistory.
This fixes all of the outputs for the 003937 board for bug #8081.