Restore pull req #8's history