diff options
| author | Pierre-Marie Pédrot | 2019-10-31 16:47:40 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-31 16:47:40 +0100 |
| commit | 3aaf2833b3f63f27220905cdc586cde4475a946b (patch) | |
| tree | 39a37f69c98a1c657e0592d24c70b25acc11beba /dev/bugzilla2github_stripped.csv | |
| parent | a6dbda0d1b265abee0620a748976385cadbbb880 (diff) | |
| parent | fc10a2288363f1821101d1d56816de0629e29fa6 (diff) | |
Merge PR #10937: [stdlib]Reals: use “lia” rather than “omega”
Reviewed-by: ppedrot
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions