[Tutti-commits] 01/01: Fixes #8085 Merge branch 'feature/8085_univers-disjoint' into develop

This is an automated email from the git hooks/post-receive script. New commit to branch develop in repository tutti. See http://git.codelutin.com/tutti.git commit f57e81c613939c0c9ad6763f19aea7dda8affdca Merge: 155ec4e 5d99913 Author: Tony CHEMIT <chemit@codelutin.com> Date: Thu Mar 10 15:44:12 2016 +0100 Fixes #8085 Merge branch 'feature/8085_univers-disjoint' into develop .../tutti/ui/swing/content/protocol/EditProtocolUIHandler.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) -- To stop receiving notification emails like this one, please contact codelutin.com SCM administrator <admin+scm@codelutin.com>.