On Mon, 29 Jul 2019 17:04:05 +0000 Song Liu <[email protected]> wrote:
> > this assumes that __replace_page() can't fail, but it can. I think you > > should move this into into __replace_page(). > > Good catch! Let me fix it. > > Hi Andrew, > > Do you prefer a whole v10 (1/4 to 4/4) or just newer version of this > one (2/4)? Either is OK. I guess just a new 2/4 is sufficient, if the difference is minor.

