#!/bin/bash
source "$(dirname "$BASH_SOURCE")"/win32-gpl.sh
GIT_BRANCH="release/4.3"