Merge pull request #1024 from davidcunado-arm/dc/update_userguide
authordavidcunado-arm <david.cunado@arm.com>
Thu, 6 Jul 2017 17:07:35 +0000 (18:07 +0100)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 17:07:35 +0000 (18:07 +0100)
commitc3d1b0ad5f79dd8b6a1ce20f5c6fcff372afeee7
treea6b4cddbe6ba1f331f06de70b865340cd8bef403
parent2e4383238debbdd488906c3281f9e624dd6e0525
parentaee3ef48a7a88b85ee32f9aa810c2dcc2155d7cf
Merge pull request #1024 from davidcunado-arm/dc/update_userguide

Release v1.4: update change-log.rst