tree a6b4cddbe6ba1f331f06de70b865340cd8bef403
parent 2e4383238debbdd488906c3281f9e624dd6e0525
parent aee3ef48a7a88b85ee32f9aa810c2dcc2155d7cf
author davidcunado-arm <david.cunado@arm.com> 1499360855 +0100
committer GitHub <noreply@github.com> 1499360855 +0100

Merge pull request #1024 from davidcunado-arm/dc/update_userguide

Release v1.4: update change-log.rst