tree 8ccf2d0648766852312f84a64bdee3f309a1d82b
parent 4d8c836cdc4559d862337c5b2ecc9ca5d1e7810f
author Gilles Peskine <Gilles.Peskine@arm.com> 1581538005 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1582139609 +0100

Move 3rdparty mentions to a separate line

This makes it easier to merge changes related to adding or removing
3rdparty items.

No semantic change.