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

2018-07-17 Thread Frediano Ziglio
> > 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 consis

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

2018-07-17 Thread 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