Came across this in my morning twitter readings and my jaw dropped.
Did you know that the name 'Bathygnathus' currently has priority over the name 'Dimetrodon' until an opinion on the reversal of precedence is published by International Commision on Zoological Nomenclature ( iczn.org/node/40573). The application is currently in front of ICZN and research is underway to support the proper taxonomic identity of specimens. From what I read its a very slow process but expected to support Dimetrodon. Anyway about all I know so if anyone would like to add to this please do.
http://iczn.org/node/40573
The purpose of this application, under Article 23.9.3 of the Code, is to conserve the widely used generic name Dimetrodon Cope, 1878 (SPHENACODONTOIDEA, SPHENACODONTIDAE). The name Dimetrodon is threatened by its senior subjective synonym Bathygnathus Leidy, 1853. The name Dimetrodon has become widely accepted and is in prevailing usage. It is proposed that Dimetrodon be given precedence over Bathygnathus whenever these names are considered to be synonyms.