[Dune-devel] Accidentally pushed to 2.4 release branch

[Carsten Gräser]

Hi Christoph,

Am 01.07.2015 um 23:13 schrieb Christoph Grüninger:
> Hi Carsten,
> I accidentally pushed my commit to the wrong branch. The commit is
> fine, at least I think so. But still it is the wrong work flow.

OK, thank for noting this.

Best,
Carsten

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20150707/478bd22a/attachment.sig>