Merge pull request #147 from antonblanchard/diamond-1
authorAnton Blanchard <anton@linux.ibm.com>
Thu, 23 Jan 2020 03:36:15 +0000 (14:36 +1100)
committerGitHub <noreply@github.com>
Thu, 23 Jan 2020 03:36:15 +0000 (14:36 +1100)
commita2bf039a70ac2cb4c05035b9a6a75bb7b8ccc7cc
treee85c322a3f1f17a7d8eddfa4582a4bd75ba7bc22
parent39596dc70ab744075585e6bbb130d525e2ce37a4
parent098f10136d9a507869b258dfae762996c7f0721d
Merge pull request #147 from antonblanchard/diamond-1

Some Diamond fixes