[!127] install script only called make install_python on modules depending on
Merge branch 'bugfix/installScript' into 'master'
ref:staging/dune-python dune-python. If a module depended for example
dune-fempy would not be considered
See merge request [!127]
11 minutes and 33 seconds
(queued for 1 second)