mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-24 06:20:43 -08:00
Additional merges accidentally left out of changelist 182578. oops.
Copied from Perforce Change: 182580 ServerID: perforce.ravenbrook.com
This commit is contained in:
commit
e1eaef56c8
2 changed files with 2 additions and 0 deletions
|
|
@ -4565,6 +4565,7 @@ int main(int argc, char *argv[])
|
|||
check final consistency and warn you about bugs. It also allows the
|
||||
MPS to flush buffers for debugging data, etc. It's good practise
|
||||
to destroy MPS objects on exit if possible rather than just quitting. */
|
||||
mps_arena_park(arena);
|
||||
mps_root_destroy(reg_root);
|
||||
mps_thread_dereg(thread);
|
||||
mps_ap_destroy(strong_buckets_ap);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue