8 Oct
2017
8 Oct
'17
7:05 p.m.
David Kastrup wrote:
Clemens Ladisch writes:
Hysterical raisins, I guess (in the Good Old Times™, card numbers were stable).
Regards,
Clemens
The card number can be replaced with the card ID:
Any reason the user-level commands do not talk about the "card ID" but
show something else?