#! /bin/sh

# Deprecated

exec "$(dirname $0)/../unionBugs" "$@"
