From: Peter Dimov (pdimov_at_[hidden]) Date: 2020-04-13 17:23:01
Edward Diener wrote:
> https://github.com/boostorg/property_map/pull/13
How is it possible for this change to affect coverage?