-
unknown authored
After-merge fix for bug#33536: The target to copy to is now called "$DEST". scripts/make_binary_distribution.sh: After-merge fix for bug#33536: The target to copy to is now called "$DEST".
dd46d0f6
After-merge fix for bug#33536: The target to copy to is now called "$DEST". scripts/make_binary_distribution.sh: After-merge fix for bug#33536: The target to copy to is now called "$DEST".