Hi, If these got moved to Bugzilla or Gerrit, can we close them out on GitHub?
https://github.com/eclipse/linuxtools/pulls Thanks, Andrew
_______________________________________________ linuxtools-dev mailing list linuxtools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/linuxtools-dev
