Skip to content

Fix handling of disable_deadline setting.#207

Merged
asmeurer merged 1 commit intodata-apis:masterfrom
jakevdp:disable-deadline
Nov 15, 2023
Merged

Fix handling of disable_deadline setting.#207
asmeurer merged 1 commit intodata-apis:masterfrom
jakevdp:disable-deadline

Commits

Commits on Nov 14, 2023