Merge "doc: Enable automatic labels for page titles" into integration
authorJohn Tsichritzis <john.tsichritzis@arm.com>
Mon, 3 Jun 2019 16:24:24 +0000 (16:24 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Mon, 3 Jun 2019 16:24:24 +0000 (16:24 +0000)
commit49d969bbb3ca7e738bc6ef560e44c0047a9925cc
treedba3aea15958eba2ff94272a378f1d5959e0e198
parente30d1d779c6d2c28fec91633314a61ba31d87a33
parentc4e4df35d0413693901e351bb0d668c10ce9cfaa
Merge "doc: Enable automatic labels for page titles" into integration