| commit | ec471b627aa76fa8ac1f103ecabd73e304e952c8 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Fri Feb 23 13:24:03 2024 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Tue Feb 27 10:30:29 2024 -0700 |
| tree | 4c9a42d2f8de916023664f719ef10218a94c266d | |
| parent | beadf912845c9c37c5afeadd77635950cf697d9f [diff] |
Change finalize_values into a final cleanup This removes finalize_values in favor of adding a new final cleanup. This is safe now that extension languages are explicitly shut down.