tree 1b2de12b48fd5cff46785237233606bbc9b01cb5
parent bb48cc74fb51e7c3f0438fd4084c40ccf2190706
parent 86c6b076f18f3ae05e0664ddf9c8175527977413
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1528983317 +0100
committer GitHub <noreply@github.com> 1528983317 +0100

Merge pull request #1419 from danielboulby-arm/db/docs

Correct ordering of log levels in documentation