Is this OK? Is there something I should change?

Do we want patches sent to bug-guile instead of guile-devel?

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de