Ángel González <[email protected]> writes: > Sure. Do I also include a patch renaming util to contrib?
as you prefer, I personally don't see contrib/ clearer than util/, perhaps only because I am used to see util/ in the source tree :-) Regards, Giuseppe
