Subject: 25.2; Not possible to use -prune with find-dired

From: Allen Li <[email-masked]>
Date: Sat, 8 Sep 2018 17:35:38 -0700

I think we can close this.  The comma operator suggested by Andreas is
the right solution.