Re: gnome-terminal macros and guile extensions

[Miguel de Icaza <miguel nuclecu unam mx>]

> A Guile release is vaguely scheduled for sometime in mid-March. I cannot make any
> definitive statements about Guile release schedules, but if this target is made
> I think my patch will likely be included in that release.

That is far more than enough :-)