| Thu, 04 Nov 2021 15:44:37 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 04 Nov 2021 12:53:12 +0100 | wenzelm | prefer official Export.explode_name; | changeset | files |
| Thu, 04 Nov 2021 12:43:34 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 04 Nov 2021 12:37:45 +0100 | wenzelm | avoid conflict with future keyword; | changeset | files |