tree dba3aea15958eba2ff94272a378f1d5959e0e198
parent e30d1d779c6d2c28fec91633314a61ba31d87a33
parent c4e4df35d0413693901e351bb0d668c10ce9cfaa
author John Tsichritzis <john.tsichritzis@arm.com> 1559579064 +0000
committer TrustedFirmware Code Review <review@review.trustedfirmware.org> 1559579064 +0000

Merge "doc: Enable automatic labels for page titles" into integration