xen-org/xen-api — pull request #749 by jeromemaloberti (2012-07-10 15:02:13+00:00)
Title: CA-85673: Fix the update of "device_id" in the platform field.

Signed-off-by: Jerome Maloberti