diff options
| author | Emilio Jesus Gallego Arias | 2019-10-31 16:02:09 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-10-31 16:02:09 +0100 |
| commit | a1ea0da415df9137576ea60af5f68ae25dfad1b9 (patch) | |
| tree | fa2cb14ef36028f23ab6e8ed53ce3002854427e2 /dev | |
| parent | 49f0201e5570480116a107765a867e99ef9a8bc6 (diff) | |
| parent | a6e7775b67fe8f82d31d16777559940d6675c94d (diff) | |
Merge PR #10997: Implement the unsupported attribute error using the warning system
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions