This fixes #7761.  It now returns a 2 if the value being pushed up is a duplicate.  This allows the pusher to go on with the history.
Merge branch 'master' of github.com:hugllc/HUGnetLib