Subject: bug#18399: 24.4.50; nadvice :filter-args -vs- interactive

From: Stefan Monnier <[email-masked]>
Date: Thu, 04 Sep 2014 21:24:36 -0400

> But I'm not sure if that covers what Tom meant.

The fact that we mention the unusual calling convention there does
partly cover it.

> Although it is redundant, it may be good to emphasize it.

As you say, it's a bit redundant there.

        Stefan