Skip to content
This repository was archived by the owner on Jun 1, 2019. It is now read-only.
This repository was archived by the owner on Jun 1, 2019. It is now read-only.

Contributor missing from 1.17 list #100

@RalfJung

Description

@RalfJung

I think the list of contributors to 1.17 is incomplete -- so there seems to be a bug somewhere in the machinery that collects these stats.

Specifically, I am the author of commit 044ed10fee3351da2315d5d8e26949929ad918ce, which is new in 1.17:

$ git tag --contains 044ed10fee3351da2315d5d8e26949929ad918ce
1.17.0

However, my name does not appear on https://thanks.rust-lang.org/rust/1.17.0.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions