Do we need to do that manually?, isn't it handled by the RPM update as usual? On Tue, Mar 7, 2017 at 10:00 AM, Jakub Libosvar