MIRABase-1.15.0: - added geometry/RasterPolygon.h GUIFramework-1.11.1: - no changes in GUIFramework GUIRichClientPlatform-1.11.1: - no changes in GUIRichClientPlatform GUIViews-1.11.1: - Ctrl-P on view captures immediately before displaying save dialog GUIVisualization-1.11.1: - no changes in GUIVisualization GUIWidgets-1.11.1: - no changes in GUIWidgets MIRAPackage-1.5.3: - Bugfix: Using case-insensitive string comparison when matching a mountdir to a repository URL - GitLab: Always use lower-case URLs for cloning Navigation-1.3.0: - minor language fixes in documentation - added RestrictAreaTask PlotVisualization-1.6.1: - Ctrl-P on view captures immediately before displaying save dialog RigidModel-1.11.0: - CollisionTest improved performance by storing bounding box with shape LUT