| Tue, 02 May 2023 11:38:53 +0200 | wenzelm | minor performance tuning: no storage of accesses, produce Binding.full_name_spec on the spot; | changeset | files |
| Tue, 02 May 2023 11:11:19 +0200 | wenzelm | proper checks; | changeset | files |
| Tue, 02 May 2023 10:49:38 +0200 | wenzelm | tuned; | changeset | files |