Merge branch 'release'
Description
Description
Details
Details
- Committed
richart Feb 2 2016, 10:54 - Pushed
richart Dec 6 2019, 13:35 richart Dec 6 2019, 13:16 richart Dec 6 2019, 12:16 richart Dec 6 2019, 11:45 richart Dec 5 2019, 22:54 richart Dec 5 2019, 18:45 - Parents
- rAKAd2ccad3bd2e5: minor bugfix in mpi termination
rAKAf79b5473587e: merging after conflict resolution - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| d2ccad3bd2e5 | richart | minor bugfix in mpi termination | Feb 2 2016 |