Merge pull request #1419 from danielboulby-arm/db/docs
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 14 Jun 2018 13:35:17 +0000 (14:35 +0100)
committerGitHub <noreply@github.com>
Thu, 14 Jun 2018 13:35:17 +0000 (14:35 +0100)
commit498161a504bdeeb21ea0647422ce484c79664e1b
tree1b2de12b48fd5cff46785237233606bbc9b01cb5
parent4a410a3ba30f9a8fd2d5f3b93fb62452b1e80f09
parent9bd5a4ce1e2a4a3bf3b4d69d80bf39348bbefc27
Merge pull request #1419 from danielboulby-arm/db/docs

Correct ordering of log levels in documentation