Skip to content

Conversation

@jnross
Copy link

@jnross jnross commented Dec 28, 2021

No description provided.

@groue
Copy link
Collaborator

groue commented Jan 9, 2022

Hello @jnross,

Thanks for your pull request, but this repository contains a verbatim copy of SQLite sources, without any change. Please report those typos to the SQLite team instead: https://www.sqlite.org/src/wiki?name=Bug+Reports

@groue groue closed this Jan 9, 2022
@jnross
Copy link
Author

jnross commented Jan 9, 2022

I noticed this shortly after opening the PR and looked into providing these very minor improvements to the SQLite team. They don't make it easy.

Thanks for confirming, and for your thoughtfulness and patience.

@groue
Copy link
Collaborator

groue commented Jan 9, 2022

I noticed this shortly after opening the PR and looked into providing these very minor improvements to the SQLite team. They don't make it easy.

You won't be able to provide a pull request, a commit, or even a patch. This is not how they work 🤷‍♂️

But you can report the problem in the forums: they will be glad to apply your suggested change :-)

Thanks for confirming, and for your thoughtfulness and patience.

You're welcome :-)

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.

2 participants