<html>
 <head>
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
 </head>
 <body>
  <span dir="ltr" style="margin-top:0; margin-bottom:0;">Hi,</span>
  <br>
  <br><span dir="ltr" style="margin-top:0; margin-bottom:0;">this needs to be rebased after the abolition of bo->size — that is either trivial or needs an adjustment in how the size in the parent BO is set.</span>
  <br>
  <br><span dir="ltr" style="margin-top:0; margin-bottom:0;">   Simon</span>
  <br>
 </body>
</html>