Nico Huber posted comments on this change.

View Change

Patch set 2:

PS2 is a less invasive version (that should work better regarding our
wiki features). I revised it after I realized that we already do such
fragile PCI id distinctions. I'm good with either version.

To view, visit change 21935. To unsubscribe, visit settings.