Fix restore dumping core in some situations due to the previous (incomplete) fix
[dump.git] / common /
drwxr-xr-x   ..
-rw-r--r-- 620 Makefile.in
-rw-r--r-- 11884 dumprmt.c