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. Linus _______________________________________________ subsurface mailing list subsurface@subsurface-divelog.org http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface