[patch] Patch for the port directory.
fix_openmp_build.diff (text/plain), 2.59 KB, created by Matthieu Volat on 2023-01-06 07:53:24 UTC
(hide)
 
Creator: Matthieu Volat
Created: 2023-01-06 07:53:24 UTC
Size: 2.59 KB
Actions: View | Diff
Attachments on bug 268779: 239297 | 239298 | 239368