Commit ec803406c3bf77d7e08b0370f8bdfb1c0dabb54a

Bruno Haible 2020-04-28T01:43:26

realloc: Remove deprecated module. * modules/realloc: Remove file. * NEWS: Mention the removal.