Merge branch 'removeunneededinclude' into 'release/20.04'

Authored by kossebau on Apr 28 2020, 9:20 PM.

Description

Merge branch 'removeunneededinclude' into 'release/20.04'

Remove unneeded include of C++17 <optional>

See merge request kde/konsole!85

Merged Changes

CommitAuthorDetailsCommitted
b1b2eee80dfekossebau
Remove unneeded <optional> include 
Apr 28 2020