Closes: !328

Contribution guidelines:

• Follow our coding style, which is mostly the GNU coding style with some specificities: see HACKING.

• Make sure no trailing spaces or tabs are left out.

• Check the following option when making your request: "Allow commits from members who can merge to the target branch."

• Enable the container registry for your repository: https://docs.gitlab.com/ee/user/packages/container_registry/#enable-the-container-registry-for-your-project