3 Commits

Include renames

Author	SHA1	Message	Date
bumi	dd70bf77d5	Cleanup scripts	2021-06-08 16:17:56 +02:00
bumi	23d3dd3a80	Adjust API for new ethers v5 API ... see issue for details: https://github.com/ethers-io/ethers.js/issues/920#issuecomment-650836642	2020-06-29 17:23:08 +02:00
basti	a1f51428d0	Add script for vetoing via console	2019-04-28 15:09:18 +01:00