Fix to deserialization of push dumps.
Merge branch 'stable'