Announcement: New Jun2020-SP1 Bugfix release of MonetDB suite