(graft_intervals_into_buffer): Simplify. Fixes: debbugs:10071
Attach a file by drag & drop or click to upload