migrate to 'master' as adviced upstream (!4) · Merge requests · HPC2SE-Project / pacxx-rv2 · GitLab

Dr. Jorrit Fahlke requested to merge rv-use-upstream-master into master Sep 20, 2018

Upstream advice: https://github.com/cdl-saarland/rv/issues/28

See pacxx-runtime!33 (merged)

Edited Sep 21, 2018 by Dr. Jorrit Fahlke