Merge topic 'FILE_SET-properties' 4113364c49 FILE_SET: properties management Acked-by: Kitware Robot <kwrobot@kitware.com> Tested-by: buildbot <buildbot@kitware.com> Reviewed-by: Vito Gamberini <vito.gamberini@kitware.com> Merge-request: !11631