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.

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

Update or remove BUGS file #8

Open
ldidry opened this issue Jul 27, 2020 · 2 comments
Open

Update or remove BUGS file #8

ldidry opened this issue Jul 27, 2020 · 2 comments
Labels
documentation Improvements or additions to documentation

Comments

@ldidry
Copy link
Contributor

ldidry commented Jul 27, 2020

The BUGS file refers to (really) old URLs for bug reporting.
We should either update or remove it.

@ldidry ldidry added the documentation Improvements or additions to documentation label Jul 27, 2020
@racke
Copy link
Contributor

racke commented Jul 27, 2020

Let's remove it and correct the information in the README file. This should move to Markdown as well.
Also the HTML docs are referring to bugs.

@ikedas
Copy link
Member

ikedas commented Jul 27, 2020

I agree.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

3 participants