[Spice-devel] [PATCH spice-common 0/3] rename SpiceHead::id to monitor_id

[Lukáš Hrázký]

As an independent step in the monitors_config series, the SpiceHead::id
can be renamed to monitor_id.

Note the spice-server and spice-gtk patches should contain an update to
the spice-common submodule referencing the commit that does the rename,
so that the repository is in a consistent state. I'm not sure how to do
this as it requires pushing the spice-common commit first and then
updating the other two patches...

-- 
2.18.0