From: Jean-Paul Pelteret <jppelteret@gmail.com>
Date: Wed, 12 Aug 2020 20:11:34 +0000 (+0200)
Subject: Merge pull request #10818 from dougshidong/rad_fad_doc
X-Git-Tag: v9.3.0-rc1~1188
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b8d130ac44a851403093854f4d9737045e50fc0d;p=dealii.git

Merge pull request #10818 from dougshidong/rad_fad_doc

Inform memory leak of sacado_rad_fad in doc.
---

b8d130ac44a851403093854f4d9737045e50fc0d