Significance: patch
Type: dev
Comment: This is a dev-related change to the build step for Woorelease, and no changelog entry is required.