log src/ralloc.c @ 112453:06719a229a46 default tip

age author description
2011-01-17 Paul Eggert Merge from mainline.