Closed vkunz closed 2 years ago
hi,
this should fix failures in combination with leaflet-1.8.0.
It is required as a workaround since https://github.com/Leaflet/Leaflet/pull/7459 landed in leaflet.
I am not very familiar with the github workflow system, thus the ci commit might not be the correct solution, consider it as a rfc. There might be a better solution I am not aware of.
BR, Valentin Kunz
Thanks @vkunz !
hi,
this should fix failures in combination with leaflet-1.8.0.
It is required as a workaround since https://github.com/Leaflet/Leaflet/pull/7459 landed in leaflet.
I am not very familiar with the github workflow system, thus the ci commit might not be the correct solution, consider it as a rfc. There might be a better solution I am not aware of.
BR, Valentin Kunz