tree bf75d564fe8f56c1e5f18e750ed63cd1202d672c
parent 556d7d9e3b09157555310466a47e25a9ebfd8f4e
author Gilles Peskine <Gilles.Peskine@arm.com> 1543003890 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1543003890 +0100

Factor record_issue into its own method