[Tutti-commits] branch feature/8085_univers-disjoint deleted (was 5d99913)

This is an automated email from the git hooks/post-receive script. New change to branch feature/8085_univers-disjoint in repository tutti. See http://git.codelutin.com/tutti.git was 5d99913 on enlève de l'univers des maturités les psfm sélectionnés dans les autres onglets, et on vice versa (fixes #8085) 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>.