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.

Reply via email to