On Sat, Aug 11, 2018 at 11:09 AM Dirk Hohndel <d...@hohndel.org> wrote:
> Yep, I remembered correctly:
> https://stackoverflow.com/a/8328814

Well, that one used hex numbers without a 0x prefix.

Does it perhaps work if you do

  <usb-device vendor-id="0x0BDA" product-id="0x8187"/>

instead? Because if the number parsing is based on _anything_ normal,
then it should work.

But if it doesn't, oh well. And I'd blame xml. Because anybody who
ever uses xml gets everything wrong.

subsurface mailing list

Reply via email to