Merge topic 'builddb-fileset-properties-support' b81321f9db Build database: add file set flags Acked-by: Kitware Robot <kwrobot@kitware.com> Tested-by: buildbot <buildbot@kitware.com> Merge-request: !12111