Skip to content

Rename "epoch" to "edition" #49001

New issue
New issue
Closed
Closed
Rename "epoch" to "edition"#49001
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
@Manishearth

Description

@Manishearth
Manishearth
opened on Mar 13, 2018

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)

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

    Issue actions