diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-11 13:38:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-11 13:38:37 +0200 |
| commit | ec741e8bb1bdf69f0be4bb6b594560af57f8811c (patch) | |
| tree | 02e713881b285ba13157b0bbc1310daa0a23dd5c /engine | |
| parent | 034b70449c094b1b5b022a0596d7639a3b08ca39 (diff) | |
[build] Fix checks and notes noting 4.02.1 instead of 4.02.3
Bumping to 4.02.3 was decided some time ago in the WG, however a
couple of places escaped updating.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions