Commit f357d88854e386f4dbccd58e759e8369e153d50f

Commit hash	f357d88854e386f4dbccd58e759e8369e153d50f
Commit time	2019-03-25
Committer	EIP Automerge Bot <38047446+eip-automerger at users.noreply.github.com>
Author time	2019-03-25
Author	Fabian Vogelsteller <fabian.vogelsteller at gmail.com>

Automatically merged updates to draft EIP(s) 725 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 f357d88

Documents