Merge branch 'removeunneededinclude' into 'release/20.04'
Remove unneeded include of C++17 <optional>
See merge request kde/konsole!85
kossebau | Apr 28 2020, 9:20 PM |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
b1b2eee80dfe | kossebau | Remove unneeded <optional> include | Apr 28 2020 |