Summary of changes: 8de2b15... Fix directory menu plugin's 'Open in Terminal' option (#748 (*) 5894664... Bump release (*) (*) This commit already existed in another branch; no separate mail sent