New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Use `profiler_dump` instead of `dump` #357

Merged

norkunas merged 1 commit into geocoder-php:master from norkunas:dump

Oct 3, 2024

Member

norkunas commented Oct 3, 2024

Fixes #355


          Use profiler_dump instead of dump

236544d

norkunas added the bug label

norkunas merged commit c25b653 into geocoder-php:master

12 checks passed

norkunas deleted the dump branch

October 3, 2024 10:33

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

bug