Skip to content
New issue

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

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(btserver): update executable #2438

merged 1 commit into from Jul 10, 2019


Copy link

commented Jul 10, 2019


Fixes #2435

Type of change

  • Bug fix (change which fixes an issue).
  • New feature (change which adds functionality).
  • New Server (new server added).
  • Refactor (restructures existing code).
  • Comment update (typo, spelling, explanation, examples, etc).
  • This change requires a documentation update.


  • This code follows the style guidelines of this project.
  • This pull request links to an issue.
  • This pull request uses the develop branch as its base.
  • I have provided Co-author details below.
  • I have performed a self-review of my own code.
  • I have squashed commits.
  • I have commented my code, particularly in hard to understand areas.
  • I have made corresponding changes to the documentation if required.

Provide Github Email

Fill out below info or tick box below:

Co-authored-by: John Doe <>
  • I do not wish to provide an email. I am aware this will hide me as the author of this commit.

All pull requests will now be squashed to create a tidy commit history and simplify changelog creation. You can provide either your own email or a GitHub-provided no-reply email.

When a PR is squashed the author becomes the person who squashed the PR. This removes you as the author of your own PR.
The only workaround for this is to add your details as a co-author. More info about co-authors can be found here.

@dgibbs64 dgibbs64 merged commit 2e6d292 into develop Jul 10, 2019

2 of 4 checks passed

Travis CI - Branch Build Failed
Travis CI - Pull Request Build Failed
Codacy/PR Quality Review Up to standards. A positive pull request.
WIP Ready for review

@delete-merged-branch delete-merged-branch bot deleted the feature/2435-barotrauma branch Jul 10, 2019

dgibbs64 added a commit that referenced this pull request Jul 10, 2019
@conventional-release-bot conventional-release-bot bot referenced this pull request Jul 13, 2019
2 of 14 tasks complete

@dgibbs64 dgibbs64 added this to the v19.9.0 milestone Jul 13, 2019

@conventional-release-bot conventional-release-bot bot referenced this pull request Aug 28, 2019
0 of 14 tasks complete

@dgibbs64 dgibbs64 modified the milestones: v19.9.0, v19.10.0 Sep 17, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
1 participant
You can’t perform that action at this time.