<div dir="ltr"><br>On 29 May 2016 at 12:53, Andrew Shadura <<a href="mailto:andrew@shadura.me">andrew@shadura.me</a>> wrote:<br><span style="font-family:monospace,monospace">> With obsoletion, no changesets are stripped. Instead, a new changeset is<br>> created, along with an obsoletion marker:<br>><br>>  → A → B → C    ⇒    → A → B ⇢ C<br>>                              ↘ C’<br>><br>>   (C’ obsoletes C)</span><br><br><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">​I just noticed this bit doesn't look nice with a variable-width font, which is what many webmail interfaces use by default these days. Just to clarify what I meant, I'm re-sending it with rich HTML formatting on.<br></div><br>-- <br>Cheers,<br>  Andrew<br></div>