Commit 9d55a02b1bba37b2a7a1f2c14f84a5c6a12ecbd1

Bruno Haible 2006-10-23T19:40:24

Make it possible to rename obstack_free.