[Observe-commits] branch release/5.0.1 deleted (was 7837d10)

This is an automated email from the git hooks/post-receive script. New change to branch release/5.0.1 in repository observe. See https://gitlab.nuiton.org/codelutin/observe.git was 7837d10 Add missing license header The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository. -- To stop receiving notification emails like this one, please contact codelutin.com SCM administrator <admin+scm@codelutin.com>.