Skip to content

Fix build with tools=no

Rafał Mikrut requested to merge pr-fix-3384 into master

Created by: akien-mga

Fixes #3384 (closed).

Merge request reports