No matches were found for subject:"MonetDB\: Jul2017 \- Fix a bug in the reading of the properties file"