Revision b270e6a519e9b8406e48b5821a9dc03e4e20233a authored by veronica-villa on 22 October 2020, 22:33:16 UTC, committed by GitHub on 22 October 2020, 22:33:16 UTC
* Address error when no gating veto argument was given

* Fix error when no gating veto argument is given

* add comment on default empty dict assignment

* shorten too long line

Co-authored-by: Thomas Dent <thomas.dent@usc.es>
1 parent 27c8cd6
History

back to top