Proposing merge from the monotypic genus Oceaniserpentilla to it's only species Oceaniserpentilla haliotis

edit
  Done boldly merged (well actually just redirected the genus page to here since it didn't have any additional info). I think this will be uncontroversial. Ajpolino (talk) 22:11, 9 January 2019 (UTC)Reply