scratch/igc/weak-undo-list updated (195d68f1013 -> 71778706939)

ellerh pushed a change to branch scratch/igc/weak-undo-list.

      from  195d68f1013 * src/undo.c (scrub_undo_list): If possible, avoid mutation.
       new  aa9a6b8482a * src/pdumper.c (dump_marker): Dump undo_id.
       new  71778706939 * src/undo.c (syms_of_undo): Add ifdefs for weak_marker_table.


Summary of changes:
 src/pdumper.c | 1 +
 src/undo.c    | 2 ++
 2 files changed, 3 insertions(+)