[Lima-commits] branch release/0.8.7 created (now 5e235e14)

This is an automated email from the git hooks/post-receive script. New change to branch release/0.8.7 in repository lima. See https://gitlab.nuiton.org/chorem/lima.git at 5e235e14 refs #1394 J8 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>.