Skip to content

Adjusts getOption return type if no default value.#95

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
ddebin:master
Oct 1, 2020

Commits

Commits on Aug 21, 2020