>>>>> "Marius" == Marius Vollmer <[EMAIL PROTECTED]> writes:
Marius> Neil Jerram <[EMAIL PROTECTED]> writes:
>> Marius/Rob, should this go into the stable branch as well?
Marius> Yes. (The way I understand it, it is a fix for something
Marius> that didn't work before at all, right? It doesn't change
Marius> existing behavior, right?)
That's my understanding too.
Neil
_______________________________________________
Bug-guile mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-guile
