Skip to content

Conversation

@sauloperez
Copy link
Collaborator

It was added in the very beginning of the project in commit e37eb7d but it doesn't seem to be used anywhere. Leftovers of an old copy-paste?

cc @markets @enricostano

It was added in the very beginning of the project in commit `e37eb7d`
but it doesn't seem to be used anywhere. Leftovers of an old copy-paste?
@markets
Copy link
Collaborator

markets commented Oct 7, 2019

No idea what is that and why it was added (the commit doesn't provide such info e37eb7d).. so 👍 from my side

@sseerrggii
Copy link
Contributor

Tested 💚

@sauloperez sauloperez merged commit 48c3e99 into develop Oct 9, 2019
@sauloperez sauloperez deleted the remove-unused-plpgsql-extension branch October 9, 2019 14:41
@sauloperez sauloperez mentioned this pull request Dec 4, 2019
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.

4 participants