minor tweaks in release notes for EasyBuild v4.2.2#13
Merged
migueldiascosta merged 1 commit intomigueldiascosta:eb422from Jul 7, 2020
Merged
minor tweaks in release notes for EasyBuild v4.2.2#13migueldiascosta merged 1 commit intomigueldiascosta:eb422from
migueldiascosta merged 1 commit intomigueldiascosta:eb422from