Closed merijn closed 3 years ago
No clue why travis s still marked as required despite deleting it, but the rest passes. IMO this is ready to merge, unless we wanted to get rid of levitus
and topo
after all?
@Sbte @erik808 Any objection to merging this?
No objections, but it's annoying that travis is still there
Yeah, but I haven't been able to figure out how to remove it, annoyingly.
Following steps to check nothing breaks: