Pull in fix for #872 and add a test case#1187

Merged

mergify[bot] merged 1 commit intomasterfrom what4-zerobv

Apr 15, 2021

+11-1

Commits on Apr 14, 2021

Pull in fix for #872 and add a test case.
robdockins
committed