Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

DEVELOPER-800 remove duplicate title description #374

Merged
merged 1 commit into from Jul 16, 2014

Conversation

Projects
None yet
3 participants
Contributor

pmuir commented Jul 15, 2014

No description provided.

Contributor

jboss-developer-ci commented Jul 15, 2014

Triggering build using a merge of 5bf9785 on branch master:
Private: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/www.jboss.org-pull-player-executor/

Contributor

jboss-developer-ci commented Jul 15, 2014

Build 353 is now running using a merge of 5bf9785 on branch master:
Private: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/www.jboss.org-pull-player-executor/353

Contributor

jboss-developer-ci commented Jul 15, 2014

Related issue: DEVELOPER-800

@paulrobinson paulrobinson added a commit that referenced this pull request Jul 16, 2014

@paulrobinson paulrobinson Merge pull request #374 from pmuir/DEVELOPER-800
DEVELOPER-800 remove duplicate title description
c221d3b

@paulrobinson paulrobinson merged commit c221d3b into jboss-developer:master Jul 16, 2014

1 check passed

jboss-developer-ci JBoss Developer CI build status: success
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment