| commit | 43b5fba22365c6ddd0d60324833f279364b577e7 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Wed Feb 01 08:34:58 2023 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Mon Feb 13 15:22:20 2023 -0700 |
| tree | b7c62a6b7f392a9f90d50f761fe7d84dcb47cbe8 | |
| parent | 8f4135314ae6e1a98a36295c85af5b246dfa00ff [diff] |
Make ~value private At the end of this series, I belatedly realized that values should only be destroyed by value_decref. This patch marks the the destructor private to enforce this. Approved-By: Simon Marchi <simon.marchi@efficios.com>