-
Aaron Plattner authored
Rather than printing GUIDs as 16 signed decimal integers, print them in {XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX} format. Signed-off-by: Aaron Plattner <aplattner@nvidia.com> Reviewed-by: Alex Deucher <alexander.deucher@amd.com>
7ede207f