Block PRs for merge untill the Jenkins build is successful

Show replies by date

3252
days inactive
3254
days old

jbosstools-dev@lists.jboss.org

Manage subscription

12 comments
7 participants

Add to favorites Remove from favorites

tags (0)
participants (7)
  • Andre Dietisheim
  • Aurelien Pupier
  • Dmitrii Bocharov
  • Jean-Francois Maury
  • Mickael Istria
  • Nick Boldt
  • Radim Hopp