Subject: Re: bug#24501: Grup query

From: Paul Eggert <[email-masked]>
Date: Sun, 20 Nov 2016 00:34:18 -0800

No further comment and it has been a while, so closing the bug.