[Pollen-commits] branch release/3.1.2 created (now dc801dd6)

This is an automated email from the git hooks/post-receive script. New change to branch release/3.1.2 in repository pollen. See https://gitlab.nuiton.org/chorem/pollen.git at dc801dd6 fix gitlab ci release No new revisions were added by this update. -- To stop receiving notification emails like this one, please contact chorem.org SCM administrator <admin+scm@chorem.org>.