Merge branch 'revert-azure-pipeline-workaround'

The breakage has been fixed, so let's drop the temporary workaround.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

ci/lib.sh

@@ -137,7 +137,6 @@ then
 	MAKEFLAGS="$MAKEFLAGS --jobs=10"
 	test windows_nt != "$CI_OS_NAME" ||
 	GIT_TEST_OPTS="--no-chain-lint --no-bin-wrappers $GIT_TEST_OPTS"
-	{ setfacl -bR . || :; }
 else
 	echo "Could not identify CI type" >&2
 	exit 1