call update-OPL-statistics after restore-OPL-tables#7

taniwallach merged 1 commit into

taniwallach:docker_to_ubuntu_18ltstaniwallach/webwork2:docker_to_ubuntu_18ltsfrom

heiderich:update-OPL-statisticsheiderich/webwork2:update-OPL-statisticsCopy head branch name to clipboard