tree 75a11a566d9312b980d161cd1f076d0e7a04206b
parent b4c8e664f78faae65586b0f80a988af8c703a6c1
parent 528de74b3b8e575c1f8e847c6dcd12e208719ad0
author Treehugger Robot <treehugger-gerrit@google.com> 1496188669 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1496188669 +0000

Merge "Don't build openmp with versioned symbols." into dev