Add a new `extra-dispatcher-file' configuration option.#41

elibarzilay wants to merge 1 commit intoracket:masterracket/handin:masterfrom

elibarzilay:add-extra-dispatcher-fileelibarzilay/handin:add-extra-dispatcher-fileCopy head branch name to clipboard