Commit 6fb324a9 authored Jul 28, 2016 by Andreas Klöckner

Merge branch 'refinement' into 'refinement'

make_refinement_connection()



See merge request !1