diff options
| author | Emilio Jesus Gallego Arias | 2020-02-13 21:17:36 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-13 21:17:36 +0100 |
| commit | 68a05b0899a86da49dba0c01baddd4b75b8305d2 (patch) | |
| tree | 7ad96b2b2170cd449d793cc497a7abf3ec2d3520 /dev/doc | |
| parent | d0ade96ed78895eec3f80b88e3e4cf148b854ecd (diff) | |
| parent | 8f836215f099ea5ec7f27fd67d7723743d2e42e0 (diff) | |
Merge PR #11441: Add explicit types to changelog entries that were still missing them.
Reviewed-by: ejgallego
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions