Patrick Gartung 9ffa053f18 Fix bug introduced by pull request 14467 being merged (#14639) ... * Fix bug introduced by pull request 14467 being merged * Only filter on platform and OS		2020-01-27 14:17:15 -06:00
..
spack	Fix bug introduced by pull request 14467 being merged (#14639)	2020-01-27 14:17:15 -06:00