diff options
| author | Pierre-Marie Pédrot | 2020-07-11 13:23:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-11 13:23:02 +0200 |
| commit | c412b32707a296a6b17292782ed1194413353387 (patch) | |
| tree | f0da25ea7f42533e3bd1ef1e2f94fb5ebd33af7e /dev/bugzilla2github_stripped.csv | |
| parent | 7e149d3e7c7c6690b6aa92887d28e42f997b148a (diff) | |
| parent | 2b877400967387a5364c1e630c91efacae3c7c8a (diff) | |
Merge PR #12635: Correct comment and clarify constant
Reviewed-by: ppedrot
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions