scratch/no-purespace updated (fc9f4a7f0eb -> 9f0de5cb87b)

[Pip Cet]

pipcet pushed a change to branch scratch/no-purespace.

      from  fc9f4a7f0eb Make bindings--define-key obsolete
       new  9274a3d6c34 Update pdumper hashes
       new  9f0de5cb87b Avoid compiler warning in process_mark_stack


Summary of changes:
 src/alloc.c   | 8 +++++---
 src/pdumper.c | 4 ++--
 2 files changed, 7 insertions(+), 5 deletions(-)