Fix TypeError: options is undefined#178

zbinlin wants to merge 2 commits into5digits:master5digits/dactyl:masterfrom

zbinlin:patch-3zbinlin/dactyl:patch-3Copy head branch name to clipboard