So, is that "$@" supposed to be there or not?

 It absolutely is! You found a bug. Thanks for the report!
 Now fixed in release 1.0.5.1, which I cut immediately because it is
pretty critical.

--
 Laurent

Reply via email to