WSL/SLF GitLab Repository
Revert commit a4b0a56d also for the header file, which should have been committed to the sea ice branch.