Merge branch 'pull/723' into development

# Conflicts:
#	mvis/ivis-core
This commit is contained in:
Tomas Bures 2019-12-07 13:56:49 +01:00
commit 3c4fbf2754
8 changed files with 21 additions and 3 deletions

@ -1 +1 @@
Subproject commit 6300c28bb78989de35bedcd130a7c77c0bf4988b
Subproject commit f034b066a787aa87c5fd378fd09e5bce8f2e5618