diff options
| author | Gaëtan Gilbert | 2019-10-09 15:00:55 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-09 15:02:21 +0200 |
| commit | ba86025e97d3ee110978592239131865f4187b1c (patch) | |
| tree | bd94d57b60d97564158364f5c507c54c3cb00bda /dev/bugzilla2github_stripped.csv | |
| parent | 0d744fce46a86c359aed902cd4c7ab647b8c9dc4 (diff) | |
Simplify universe handling wrt side effects: rm demote_seff_univs
We don't need to call `UState.demote_seff_univs` as
`emit_side_effects` (`tclEFFECTS`) can do it for us.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions