config_query_list  REL  "Which release?"  current devel cvs
if [ "$REL" == "cvs" ]; then
  config_query  PAN2_CVS_AUTOUPDATE   \
                "Update to the latest CVS automatically on every cast?" n
fi
