<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>