tree 85456006663c3099054ffadc4f697ccd8a22f703
parent a5000f1dc65f5cc530c0438284dc6d7df82f59e1
author Gilles Peskine <Gilles.Peskine@arm.com> 1574362233 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1574693063 +0100

Allow gather_inputs to work with a derived Inputs class

No behavior change.