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

deps: backport 8dde6ac from upstream V8 #12060

Closed
wants to merge 1 commit into from

Commits on Mar 27, 2017

  1. deps: backport 8dde6ac from upstream V8

    Commit 9c9e2d7 changed the name of TypeFeedbackVector to
    FeedbackVector but that commit did not update gdbinit. This applies the
    changed to gdbinit from upstream V8.
    
    Original commit message:
    
    [gdbinit] Rename TypeFeedback* to Feedback*.
    
        BUG=
    
        Change-Id: I1e32fdcf9edda57f5de329c8b694620a5da4558b
        Reviewed-on: https://chromium-review.googlesource.com/442444
        Reviewed-by: Michael Stanton <mvstanton@chromium.org>
        Commit-Queue: Igor Sheludko <ishell@chromium.org>
        Cr-Commit-Position: refs/heads/master@{nodejs#43185}
    danbev committed Mar 27, 2017
    Configuration menu
    Copy the full SHA
    b04fa54 View commit details
    Browse the repository at this point in the history