From: Daniel Arndt Date: Fri, 29 Nov 2019 00:36:24 +0000 (-0500) Subject: Merge pull request #9108 from simonsticko/doc_fix_get_active_neighbors X-Git-Tag: v9.2.0-rc1~842 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f98c13f7a7afb6357ca97e24151152639e666628;p=dealii.git Merge pull request #9108 from simonsticko/doc_fix_get_active_neighbors Add note on template parameter in doc of GridTools::get_active_neighbors --- f98c13f7a7afb6357ca97e24151152639e666628