14 Jun
2022
14 Jun
'22
12:57 p.m.
On Tue Jun 14 07:37:01 2022 +0000, Huw Davies wrote:
`end_pos` seems like an odd name, would `child_pos` be better?
Yeah, I agree. I thought about this yesterday as I looked the patches over before pushing. I guess originally since I had `start_pos`, `end_pos` made sense. `child_pos` is better.