diff options
author | Michael Davis | 2022-11-09 00:54:41 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-11-09 03:41:07 +0000 |
commit | 260ae3a0f4b94eb0af3477c3e7b94b7a0033431c (patch) | |
tree | 9823ba64abe796ef79c918a1fa99d038b2fae9af /book | |
parent | a19eee6450764ec2be0e8ad25582f33bd68a5d8c (diff) |
style: Only call extend_nodes when deepest_preceding is Some
Diffstat (limited to 'book')
0 files changed, 0 insertions, 0 deletions