Commit f2dd602f by Ondřej Zajíček

Backport some minor changes from int-new

parent 9f4908fe
Pipeline #16832 passed with stages
in 8 minutes 48 seconds