Commit ce223c9bc2dbae710d5408f23fd4a285903ead8d

Bruno Haible 2018-12-04T00:41:24

set: New module. * lib/gl_set.h: New file. * lib/gl_set.c: New file. * lib/gl_oset.h (gl_setelement_dispose_fn): Avoid conflict with gl_set.h. * modules/set: New file.