Skip to content

Rename "epoch" to "edition" #49001

Closed
Closed
@Manishearth

Description

@Manishearth
Member

We currently expose a -Zepoch=foo flag. It should be -Zedition=foo. Furthermore, all code and comments talking about epochs should use the word "edition".

(mentoring)

Activity

added
E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.
WG-epochWorking group: Epoch (2018) management
on Mar 13, 2018
klnusbaum

klnusbaum commented on Mar 14, 2018

@klnusbaum
Contributor

I'll take a stab at this.

klnusbaum

klnusbaum commented on Mar 14, 2018

@klnusbaum
Contributor

Made some significant progress on this. Expecting to have a PR later tonight or by tomorrow

added 2 commits that reference this issue on Mar 23, 2018

Rollup merge of rust-lang#49035 - klnusbaum:49001_epoch, r=Manishearth

8b41a59

Rollup merge of rust-lang#49035 - klnusbaum:49001_epoch, r=Manishearth

c2dbfa6
Manishearth

Manishearth commented on Apr 1, 2018

@Manishearth
MemberAuthor
added a commit that references this issue on Apr 2, 2018

Auto merge of #49252 - Manishearth:easy-feature-flag, r=nikomatsakis

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

    E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.WG-epochWorking group: Epoch (2018) management

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @klnusbaum@Manishearth

        Issue actions

          Rename "epoch" to "edition" · Issue #49001 · rust-lang/rust