merge PR #1277#1349

gajennings merged 3 commits into

openwebwork:mainopenwebwork/webwork-open-problem-library:mainfrom

gajennings:maingajennings/webwork-open-problem-library:mainCopy head branch name to clipboard