diff options
| author | Enrico Tassi | 2020-07-10 19:19:30 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-07-10 19:19:30 +0200 |
| commit | 7e149d3e7c7c6690b6aa92887d28e42f997b148a (patch) | |
| tree | cea5ab4b0310188c384a0afd03fc15cdf98bcf06 /dev/bugzilla2github_stripped.csv | |
| parent | 511d2caaffb8d412d1645f0a83c9b0a2bbc41411 (diff) | |
| parent | 9065877add52fa94de699ee8a50d240fb7ef4a5c (diff) | |
Merge PR #12638: Some changes of representation in Tacred
Ack-by: backtracking
Reviewed-by: gares
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions