0479eab03382a765a9eea5ddb308da931da4c4ec
@jskladan @frantisekz
Changes make sense, this might break F28 building, but that shouldn't matter too much now.
+1
rebased onto 0479eab03382a765a9eea5ddb308da931da4c4ec
Commit 68c50098 fixes this pull-request
Pull-Request has been merged by kparal
@jskladan @frantisekz