History pages of KDE4 got merged into general history page

Authored by kossebau on May 21 2020, 4:00 PM.