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

GEOS stubs #4902

Merged

muglug merged 1 commit into vimeo:master from BenMorel:geos

Dec 29, 2020

Contributor

BenMorel commented Dec 28, 2020 •

edited

Based on the stubs I wrote for brick/geo. Mostly converted with this script.


          GEOS stubs

ae052c2

BenMorel force-pushed the geos branch from 1a13936 to ae052c2 Compare

December 28, 2020 18:38

BenMorel mentioned this pull request

Should new stubs be created as CallMap or stubs? #4897

Closed

muglug merged commit 2be2f1e into vimeo:master

Collaborator

muglug commented Dec 29, 2020

Thanks!

BenMorel mentioned this pull request

Class or interface GEOSGeometry does not exist #4913

Open

danog pushed a commit to danog/psalm that referenced this pull request


          GEOS stubs (vimeo#4902)

44c79da

BenMorel mentioned this pull request

Undefined class GEOSGeometry, despite CallMap entries #10286

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment