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.

Sign up for GitHub

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

Jump to bottom

Memory leak fix: release source map info after processed and minor optimizations #8234

Merged
merged 6 commits into from
Mar 29, 2019
Merged

Memory leak fix: release source map info after processed and minor optimizations #8234

merged 6 commits into from
Mar 29, 2019

Commits on Mar 29, 2019

  1. Fix coverage memory leak and minor optimizations.

    @scotthovestadt
    scotthovestadt committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    c61919a View commit details
    Browse the repository at this point in the history

  2. Restore accidental deletion.

    @scotthovestadt
    scotthovestadt committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    8413503 View commit details
    Browse the repository at this point in the history

  3. Update CHANGELOG.md

    @scotthovestadt
    scotthovestadt committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    1f9907c View commit details
    Browse the repository at this point in the history

  4. Review feedback.

    @scotthovestadt
    scotthovestadt committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    36b621b View commit details
    Browse the repository at this point in the history

  5. Move memory release to core.

    @scotthovestadt
    scotthovestadt committed Mar 29, 2019
    Configuration menu
    Copy the full SHA
    69244bf View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into coverage-memory

    @scotthovestadt
    scotthovestadt authored Mar 29, 2019
    Configuration menu
    Copy the full SHA
    ca3c9b2 View commit details
    Browse the repository at this point in the history