Commit 9991f4689bcbbb0325797e1344b44a76341d2ec0

Commit hash	9991f4689bcbbb0325797e1344b44a76341d2ec0
Commit time	2018-09-24
Committer	EIP Automerge Bot <38047446+eip-automerger at users.noreply.github.com>
Author time	2018-09-24
Author	Ivo Georgiev <ivo at strem.io>

Automatically merged updates to draft EIP(s) 712 Hi, I'm a bot! This change was automatically merged because: - It only modifies existing Draft or Last Call EIP(s) - The PR was approved or written by at least one author of each modified EIP - The build is passing

GitHub Diff

Commit 9991f46

Documents