Skip to content
This repository was archived by the owner on Jan 15, 2026. It is now read-only.
This repository was archived by the owner on Jan 15, 2026. It is now read-only.

Rename TraceCollector #378

Closed
Closed
Rename TraceCollector#378
Milestone
Release v1.2

Description

@setrofim
setrofim
opened on Mar 19, 2019

As discussed here: #376, "trace" is not an appropriate term for everything that is being collected by TraceCollector implementation. Thus, the name is misleading and should be changed. CollectorBase, suggested in the same thread, seems reasonable. This will also require corresponding changes to the module name.

Activity

  1. setrofim
    changed the title [-]Rename `TraceCollector`[/-] [+]Rename TraceCollector[/+] on Mar 19, 2019
  2. marcbonnici
    added this to the Release v1.2 milestone on Oct 24, 2019

  3. marcbonnici commented on Jan 2, 2020

    @marcbonnici
    marcbonnici
    on Jan 2, 2020
    Collaborator

    Implemented with #454

  4. marcbonnici
    closed this as completedon Jan 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions