From: Timo Heister Date: Fri, 4 May 2018 20:58:59 +0000 (-0400) Subject: Merge pull request #6456 from tamiko/update_version X-Git-Tag: v9.1.0-rc1~1222 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d0f4ef48cc0649b3e06a6842e006c7c41c676c9e;p=dealii.git Merge pull request #6456 from tamiko/update_version update VERSION --- d0f4ef48cc0649b3e06a6842e006c7c41c676c9e