tree 42dc386554adc40308141c5469f60462227700d0
parent e7856bfc6d3b27f616f996059d98ff73909abec5
author Andres Amaya Garcia <andres.amayagarcia@arm.com> 1548323714 +0000
committer Andres Amaya Garcia <andres.amayagarcia@arm.com> 1549535903 +0000

Fix check-generated-files.sh failure with query_config