Skip to content

Fix reference to junit pioneer#4189

Merged
tobiasdiez merged 1 commit into
masterfrom
fixBuild
Jul 10, 2018
Merged

Fix reference to junit pioneer#4189
tobiasdiez merged 1 commit into
masterfrom
fixBuild

Conversation

@tobiasdiez

Copy link
Copy Markdown
Member

Sorry for the noise, for some reason I no longer can push directly to master...


  • Change in CHANGELOG.md described
  • Tests created for changes
  • Manually tested changed features in running JabRef
  • Screenshots added in PR description (for bigger UI changes)
  • Ensured that the git commit message is a good one
  • Check documentation status (Issue created for outdated help page at help.jabref.org?)

@tobiasdiez tobiasdiez merged commit d300a0e into master Jul 10, 2018
@tobiasdiez tobiasdiez deleted the fixBuild branch July 10, 2018 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant