diff options
| author | Emilio Jesus Gallego Arias | 2019-08-28 10:18:28 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-08-28 10:18:28 +0200 |
| commit | 396f814900fb6b93439477d482e40b69ef339426 (patch) | |
| tree | df22b40e29c7bcb722a84a6959a72870301382d4 /engine | |
| parent | d64a63ccb4e022ba1d084afa8a60225d38cafe42 (diff) | |
| parent | 72180192bd426e1c9e5ac5fe98bc4ea22e1c7a6f (diff) | |
Merge PR #10646: Recommend assigning an issue before fixing a bug.
Reviewed-by: ejgallego
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions