Greg Landrum 1c2e3f1923 Fixes #3553 (#3554) ...

* Fixes #3553

* add another test

* Apply suggestions from code review

Co-authored-by: Paolo Tosco <paolo.tosco.mail@gmail.com>

* add an additional test for that

Co-authored-by: Paolo Tosco <paolo.tosco.mail@gmail.com>

2020-11-09 08:06:14 -05:00

4.1 KiB

Raw Permalink Blame History

View Raw