Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@bradjc
Copy link
Contributor

@bradjc bradjc commented Oct 19, 2018

Pull Request Overview

In preparation for 1.3.

Testing Strategy

n/a

TODO or Help Wanted

Are there more changes we need to point out?

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make formatall.

@bradjc
Copy link
Contributor Author

bradjc commented Oct 24, 2018

No news is good news?

@bradjc bradjc added the release-blocker Issue or PR that must be resolved before the next release label Oct 25, 2018
Copy link
Member

@ppannuto ppannuto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

bors bot added a commit that referenced this pull request Oct 30, 2018
1194: Changelog Updates r=ppannuto a=bradjc

### Pull Request Overview

In preparation for 1.3.


### Testing Strategy

n/a


### TODO or Help Wanted

Are there more changes we need to point out?


### Documentation Updated

- [x] Updated the relevant files in `/docs`, or no updates are required.

### Formatting

- [x] Ran `make formatall`.


Co-authored-by: Brad Campbell <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 30, 2018

Build succeeded

@bors bors bot merged commit db79e22 into master Oct 30, 2018
@bors bors bot deleted the change-the-changelog branch October 30, 2018 03:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation release-blocker Issue or PR that must be resolved before the next release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants