Skip to content

Update BUGS file to point to issue tracker#132

Merged
ooxi merged 1 commit intogerbv:mainfrom
ooxi:feature/bugs
Apr 21, 2023
Merged

Update BUGS file to point to issue tracker#132
ooxi merged 1 commit intogerbv:mainfrom
ooxi:feature/bugs

Conversation

@ooxi
Copy link
Copy Markdown
Contributor

@ooxi ooxi commented Sep 21, 2022

The BUGS file was no longer kept up to date since half a decade ago. Therefore it's more user friendly to point to the issue tracker.

I have not updated the translation files. Will fix #129

The BUGS file was no longer kept up to date since half a decade ago. Therefore it's more user friendly to point to the issue tracker.
@eyal0
Copy link
Copy Markdown
Collaborator

eyal0 commented Sep 21, 2022

Good idea. No need to have two lists of bugs!

@ooxi ooxi marked this pull request as ready for review April 21, 2023 17:26
@ooxi ooxi merged commit 44775d2 into gerbv:main Apr 21, 2023
@ooxi ooxi deleted the feature/bugs branch April 21, 2023 17:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Is the BUGS file current?

2 participants