tree db940c138ee095103404fe233a43dfab0406100e
parent 13f7fb372e3a03a13f797489c13a1ec218678ec0
author Andres Amaya Garcia <Andres.AmayaGarcia@arm.com> 1521644712 +0000
committer Andres Amaya Garcia <Andres.AmayaGarcia@arm.com> 1521653812 +0000

Add ChangeLog entry for redundant mutex initialization optimizations