ChristopherDrum Merge pull request #1 from ChristopherDrum/bug/props_length
f1dbc83 Mar 23, 2022
Merge pull request #1 from ChristopherDrum/bug/props_length
subtle bug in get_prop_len truncated 1 bit too much
f1dbc83