From: Daniel Arndt Date: Sun, 19 Jan 2020 20:10:10 +0000 (-0500) Subject: Merge pull request #9389 from peterrum/indexowner_division X-Git-Tag: v9.2.0-rc1~636 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=399dbefe9ae2206a6d42be514e298a00aa606501;p=dealii.git Merge pull request #9389 from peterrum/indexowner_division Add assert to prevent floating point exception --- 399dbefe9ae2206a6d42be514e298a00aa606501