Yes, of course.  Arthur, please fix this (no new release needed, I think) as it was the clear intention.

On Sat, Oct 28, 2017 at 2:54 AM, Shiro Kawai <xxxxxx@gmail.com> wrote:

Oops, it seems that the entry line of gmap hasn't updated.  It should be

  gmap proc gen1 gen2 ...

On Fri, Oct 27, 2017 at 7:08 PM, John Cowan <xxxxxx@ccil.org> wrote:

There seems to be nothing left to do, so go ahead and finalize it at your convenience.

To unsubscribe from this list please go to http://www.simplelists.com/confirm.php?u=5UzHL2CeAJaD3HTLkrKhj41uXvyrjPVH