From: Daniel Arndt Date: Sat, 25 Apr 2020 19:20:49 +0000 (-0400) Subject: Merge pull request #9936 from rezarastak/improve_booleans X-Git-Tag: v9.2.0-rc1~183 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c829f2ad6adc464650f6d4955cdca3ecbb5aee88;p=dealii.git Merge pull request #9936 from rezarastak/improve_booleans --- c829f2ad6adc464650f6d4955cdca3ecbb5aee88