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

Merge 13.6 release notes into master #10757

Merged
merged 3 commits into from
Nov 8, 2019
Merged

Conversation

jkmassel
Copy link
Contributor

@jkmassel jkmassel commented Nov 7, 2019

If this PR looks suspiciously similar to #10740, that's because it is – that one targeted develop accidentally, which isn't wrong, but also wasn't where I needed to merge to 🤦‍♂

This one merges to the right place. Given that #10740 was already approved, this one is ok to get a perfunctory 👍

Mentioning “android app version 8.1” doesn’t really make sense – it’s the system software, so saying “Android 8.1” seems more logical.
@jkmassel jkmassel added the Releases Label related to managing releases label Nov 7, 2019
@jkmassel jkmassel added this to the 13.6 ❄️ milestone Nov 7, 2019
@jkmassel jkmassel self-assigned this Nov 7, 2019
Copy link
Contributor

@JavonDavis JavonDavis left a comment

Choose a reason for hiding this comment

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

LGTM!

@jkmassel jkmassel merged commit 1dfba09 into master Nov 8, 2019
@jkmassel jkmassel deleted the merge/13.6-into-master branch November 16, 2019 05:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Releases Label related to managing releases
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants