Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace aRT with ERT #1935

Closed
brockho opened this issue Jan 23, 2020 · 1 comment
Closed

Replace aRT with ERT #1935

brockho opened this issue Jan 23, 2020 · 1 comment
Assignees
@brockho

Comments

@brockho
Copy link
Contributor

brockho commented Jan 23, 2020

Already for some time, we think about reverting back from the term aRT to the previous ERT and we started this already within the latest documentation, but there are still a few places in the code where the term aRT is used.

Remark from @ttusar:

To be consistent, we should consider changing this also elsewhere. Right now aRT still appears in
quite a few places (mostly latex captions): https://github.com/numbbo/coco/search?p=2&q=aRT&unscoped_q=aRT
I don't think this has a high priority right now, but we might want to make an issue of it...
@brockho brockho self-assigned this Jan 23, 2020
brockho added a commit that referenced this issue Feb 4, 2020
@brockho
changed usage of aRT back to ERT (wherever I found it), addressing #1935
ed74f9f
@brockho
Copy link
Contributor Author

brockho commented Feb 18, 2020

In the development branch, there should be no aRT left anymore since ed74f9f . Since the tests are back to green as well, I close this issue.

@brockho brockho closed this as completed Feb 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brockho brockho

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@brockho