Skip to content

Revert "perhaps we don't need to apply the patch, just use the patched repo"

Michał Woźniakrequested to merge
revert-f1713bc8 into master

This reverts commit f1713bc8; we were not using the patched repo, sadly. The patching procedure is actually necessary

Merge request reports