@AArnott can you review this PR and state what changes are required to get this merged? The original contributor may have abandoned the PR, but this would be a useful addition to the library IMO, and if the only outstanding issue is to rename the option, that should be easy to get over the line.
@AArnott can you review this PR and state what changes are required to get this merged? The original contributor may have abandoned the PR, but this would be a useful addition to the library IMO, and if the only outstanding issue is to rename the option, that should be easy to get over the line.