Paul Eggert Wed, 07 May 2014 08:19:34 -0700
Bernhard Voelker wrote:
At least, the following would avoid the for-loop:
Sure, that works for me.