Skip to content

Drop CALL_PROFILE special build? #72985

@vstinner

Description

@vstinner
BPO 28799
Nosy @vstinner, @jeremyhylton
PRs
  • [Do Not Merge] Convert Misc/NEWS so that it is managed by towncrier #552
  • Files
  • remove_call_profile.patch
  • Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.

    Show more details

    GitHub fields:

    assignee = None
    closed_at = <Date 2016-11-28.17:23:31.944>
    created_at = <Date 2016-11-25.09:02:53.660>
    labels = ['3.7']
    title = 'Drop CALL_PROFILE special build?'
    updated_at = <Date 2019-06-26.16:01:51.385>
    user = 'https://github.com/vstinner'

    bugs.python.org fields:

    activity = <Date 2019-06-26.16:01:51.385>
    actor = 'vstinner'
    assignee = 'none'
    closed = True
    closed_date = <Date 2016-11-28.17:23:31.944>
    closer = 'vstinner'
    components = []
    creation = <Date 2016-11-25.09:02:53.660>
    creator = 'vstinner'
    dependencies = []
    files = ['45637']
    hgrepos = []
    issue_num = 28799
    keywords = ['patch']
    message_count = 5.0
    messages = ['281687', '281860', '281862', '281863', '346646']
    nosy_count = 3.0
    nosy_names = ['vstinner', 'Jeremy.Hylton', 'python-dev']
    pr_nums = ['552']
    priority = 'normal'
    resolution = 'fixed'
    stage = None
    status = 'closed'
    superseder = None
    type = None
    url = 'https://bugs.python.org/issue28799'
    versions = ['Python 3.7']

    Metadata

    Metadata

    Assignees

    No one assigned

      Labels

      Projects

      No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions