From: Denis Davydov Date: Tue, 31 Jan 2017 17:19:31 +0000 (+0100) Subject: Merge pull request #3879 from davydden/empty_payload_fix X-Git-Tag: v8.5.0-rc1~176 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c2558a98875e1f1cf4f933f2d9972a849d256290;p=dealii.git Merge pull request #3879 from davydden/empty_payload_fix fix duplicate symbols for EmptyPayload --- c2558a98875e1f1cf4f933f2d9972a849d256290