Proposing merge from junior synonym Anthrasimias to accepted name Marcgodinotius

edit