> The numbering is in hex. 08:14 is /dev/sdb4.
Thank you to everyone who pointed that out (in private mail). I read the source now and I wonder why it's not printed as 0x08:0x14 (or printed decimal).
-Winfried