diff options
| author | Matthieu Sozeau | 2018-11-27 18:09:21 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-11-27 18:09:21 +0100 |
| commit | ec7aec452da1ad0bf53145a314df7c00194218a6 (patch) | |
| tree | f2a65ec228e26db21e98e939899285b221d696cd /dev/ci | |
| parent | 361df9ec529c1074711e267706429de6de586124 (diff) | |
| parent | fb4978ce2cf0a2d4fc871d5d739eda8618a5184b (diff) | |
Merge PR #8854: Fix #8364: making univ algebraic when already equal to another.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions