[Optional] remove Optional implementation and use the one in dune-common (!53) · Merge requests · staging / dune-functions · GitLab

The source project of this merge request has been removed.

Tobias Malkmus requested to merge (removed):feature/port_optional_to_dune_common into master Jul 04, 2017