Commits on Aug 16, 2018
  1. Fix reporting of missing product files

    MisterVector authored and Davnit committed Jun 19, 2018
    This fixes an issue where if one or more files are missing when attempting
    to check a product's version, all files are reported as missing. This
    behaviour can be quite confusing, as it's not clear what files were
    missing otherwise.