>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> Why fix it like this, instead of fixing it like in the guile patch? Pedro> I'd think you could even use a common POD type for both guile and here? No particularly good reason. I'll change it. Tom