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