diff options
author | Michael Kuhn <michael.kuhn@informatik.uni-hamburg.de> | 2020-05-15 03:10:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-14 20:10:58 -0500 |
commit | 5875bc6d6b635714b0e8c9b536d623077a417c74 (patch) | |
tree | c53cd237079f940f3cc6feaac823cba23ece5f0e /.github | |
parent | e21b4731a97fe79a34d80b52fa4ad089ad70ac74 (diff) | |
download | spack-5875bc6d6b635714b0e8c9b536d623077a417c74.tar.gz spack-5875bc6d6b635714b0e8c9b536d623077a417c74.tar.bz2 spack-5875bc6d6b635714b0e8c9b536d623077a417c74.tar.xz spack-5875bc6d6b635714b0e8c9b536d623077a417c74.zip |
scorep: Fix build with gcc@10: (#16642)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions