Re: [PATCH] rust/pl011: merge device_class.rs into device.rs

[Paolo Bonzini]

Queued, thanks.  But for 10.2 maybe we could alternate in preparing pull
requests?  We'll see.

Paolo