[Dune] [Dune-Bugs] dune-common | [dunecontrol] Check less often the version for module dependencies (#28)

[Christian Engwer]

Christoph,

On Tue, Jan 19, 2016 at 08:10:02PM +0000, Christoph Grüninger wrote:
> Merge Request #28 was merged
> Merge Request url: https://gitlab.dune-project.org/core/dune-common/merge_requests/28
> Branches: feature/dunecontrol-less-version-checks to master
> Author: Christoph Grüninger
> Assignee: 

I don't consider it good style to merge without answering to critical
comments.

I suggested an improvement to help maintaining a bit more
readability of a code, which is already in it's current state
delicate.

Christian

> _______________________________________________
> Dune-Bugs mailing list
> Dune-Bugs at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-bugs
> 
> This mailing list sends out notifications for all issues and merge requests for the DUNE core modules and infrastructure. If you want more fine-grained control about your notifications, unsubscribe from this list, sign up to https://gitlab.dune-project.org and set your notification preferences accordingly.