pandaproject/panda — Issue #435: Set execute user permission on setup_panda.sh
Author: eads
Created: 2012-02-14 18:59:38+00:00
State: open

Just in case the user forgets to invoke with bash.