Sorry, I've now downloaded the list archives and by searching them
realized that the same bug has been reported twice in the last 1.5
years. I should have done that first; someone in the #bash irc channel
actually pointed me to the other bug (the link to the ml archive), and
somehow from that point on I turned off the light that said I should
check for duplicates.
I don't have the energy for checking the
http://www.opengroup.org/onlinepubs/009695399/utilities/set.html link
posted in response to one of the earlier reports right now. Maybe later.
Thanks anyway-
Christian.