Minor optimization

Authored by mlaurent on May 20 2019, 6:09 AM.

Description

Minor optimization

Details

Committed
mlaurentMay 20 2019, 6:09 AM
Parents
R355:00dcf3876b5f: Update kf5 version
Branches
Unknown
Tags
Unknown