From: Denis Davydov Date: Fri, 17 Nov 2017 07:50:37 +0000 (+0100) Subject: Merge pull request #5481 from jppelteret/ad-changelogs_01 X-Git-Tag: v9.0.0-rc1~761 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa45d2f1e4105f9d2ed21d3e457549d6b1967caa;p=dealii.git Merge pull request #5481 from jppelteret/ad-changelogs_01 Add changelogs related to newly implemented AD number functionality. --- fa45d2f1e4105f9d2ed21d3e457549d6b1967caa