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

chore: retrofeed patch release into CHANGELOGs #972

Merged
merged 3 commits into from
Nov 11, 2019

Conversation

RomainMuller
Copy link
Contributor

Merge from the patch-release branch for v0.20.3 into master so
we keep a coherent, accurate CHANGELOG overall.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

When mapping data (e.g. a Python `dict`) was passed through a JSON value,
it would not be deserialized correctly and the `$jsii.map` markers would
remain in the JS-visible map.
@RomainMuller RomainMuller added the pr/do-not-merge This PR should not be merged at this time. label Nov 11, 2019
@RomainMuller RomainMuller requested review from bmaizels and a team as code owners November 11, 2019 23:21
@RomainMuller RomainMuller removed the request for review from bmaizels November 11, 2019 23:22
@aws-cdk-automation
Copy link
Collaborator

AWS CodeBuild CI Report

  • Result: SUCCEEDED
  • Build Logs (available for 30 days)

Powered by github-codebuild-logs, available on the AWS Serverless Application Repository

@RomainMuller RomainMuller removed the pr/do-not-merge This PR should not be merged at this time. label Nov 11, 2019
@mergify
Copy link
Contributor

mergify bot commented Nov 11, 2019

Thank you for contributing! ❤️ I will now look into making sure the PR is up-to-date, then proceed to try and merge it!

@mergify mergify bot added the pr/ready-to-merge This PR is ready to be merged. label Nov 11, 2019
@mergify mergify bot merged commit 42c5225 into master Nov 11, 2019
@mergify mergify bot deleted the rmuller/retrofeed-patch-release branch November 11, 2019 23:56
@mergify mergify bot removed the pr/ready-to-merge This PR is ready to be merged. label Nov 11, 2019
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.

3 participants