v0r16p3
a4328fbb · picocontrol: allow several device ids for the same power supply server ·