<div dir="ltr">we definitely broke in the last round</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Oct 2, 2013 at 10:20 PM, Daniel van Vugt <span dir="ltr"><<a href="mailto:daniel.van.vugt@canonical.com" target="_blank">daniel.van.vugt@canonical.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think there are likely many case where we fear an ABI break is happening when really it's not. Like some of last night's landings.<br>

<br>
In future I shall have to remind myself to point this out in the MP description... "I'm changing the server headers but it's not an ABI/API break".<br>
<br>
Of course, if no one's gone to the trouble of thoroughly checking then we need to assume it's a break and bump.<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
On 03/10/13 08:37, Robert Ancell wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Find attached a script you can use to bump the ABI on libmirserver to<br>
save time doing it manually.<br>
<br>
Run from the bzr checkout with:<br>
$ chmod +x bump_abi.py<br>
$ ./bump_abi.py<br>
<br>
Enjoy!<br>
--Robert<br>
<br>
<br>
</blockquote>
<br></div></div><div class="HOEnZb"><div class="h5">
-- <br>
Mir-devel mailing list<br>
<a href="mailto:Mir-devel@lists.ubuntu.com" target="_blank">Mir-devel@lists.ubuntu.com</a><br>
Modify settings or unsubscribe at: <a href="https://lists.ubuntu.com/mailman/listinfo/mir-devel" target="_blank">https://lists.ubuntu.com/<u></u>mailman/listinfo/mir-devel</a><br>
</div></div></blockquote></div><br></div>