Merge pull request #1 from AlexKnauth/prop-equal-hash-integer - www - Unnamed repository; edit this file 'description' to name the repository.

commit 6030806eec0377936ce24745c3c44b52f567b3ec
parent 75603def150b131c508c95406be21872844754fc
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon, 11 Nov 2019 17:46:44 -0500

Merge pull request #1 from AlexKnauth/prop-equal-hash-integer

Change prop:equal+hash to use Integer

	www Unnamed repository; edit this file 'description' to name the repository.
	Log \| Files \| Refs \| README