diff options
| author | Emilio Jesus Gallego Arias | 2019-03-01 12:27:12 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-01 12:27:12 +0100 |
| commit | ed5685a2afaa9c429d1f16950317363d9b0bc1a8 (patch) | |
| tree | 9505cc48305c96a668cb3daf9613bc4600e4334b /dev | |
| parent | ebdcaa393b1f332ad917b33bf9d7a222d3faa7c4 (diff) | |
| parent | a6dcf744f7746942e104e26dd5341ed6d088a50a (diff) | |
Merge PR #9656: Fix deprecation warning
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions