[Openmp-commits] [PATCH] D142820: [OpenMP] Delete old plugins

Joseph Huber via Phabricator via Openmp-commits openmp-commits at lists.llvm.org
Mon Apr 10 14:25:42 PDT 2023


jhuber6 added a comment.

ping


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D142820/new/

https://reviews.llvm.org/D142820



More information about the Openmp-commits mailing list