Patch for integral computations when using overintegration#216

thomasgibson wants to merge 1 commit intomaininducer/grudge:mainfrom

integral-patchinducer/grudge:integral-patchCopy head branch name to clipboard