| commit | dfc1ab9f24ec1d73b89e06f7f0f6f0047cb9b0ba | [log] [tgz] |
|---|---|---|
| author | Sergey G. Grekhov <sgrekhov22@gmail.com> | Fri Jan 09 13:14:46 2026 +0200 |
| committer | GitHub <noreply@github.com> | Fri Jan 09 12:14:46 2026 +0100 |
| tree | 2c2137b23b01e232ea6736552673c3619ad24aca | |
| parent | 379503dac3a560fa1651d50d2920ab77f01e3d3a [diff] |
#3182. Rename some `augmenting_types_*`. Part 5. (#3501)