diff options
| author | Pierre-Marie Pédrot | 2019-03-03 20:38:11 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-12-02 13:55:50 +0100 |
| commit | 056245e24411c3f410d3e91897ad8ce97bc59587 (patch) | |
| tree | fba281ff409315db8ccfafeac4d923d178e045fd /dev/bugzilla2github_stripped.csv | |
| parent | ff8155bf6586040b92d916a72017ac1bdc138501 (diff) | |
Move *_with_full_binders variants out of the kernel.
They are not used there, and removing the redundance of the the case
representation requires access to the environment, so we push their use
further up.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions