Commits included in testrun 67521:a7d7e4c7b49e

changeset 67521:a7d7e4c7b49e
date:2018-10-12 12:28 +0200
user:Sjoerd Mullender <sjoerd@acm.org>
branch:default
files:MonetDB.spec
message:Merge with Aug2018 branch.