<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html><body style='font-family: Helvetica,Arial,sans-serif'>
<p>2015-10-06 14:58 skrev Burton, Ross:</p>
<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px; width:100%"><!-- html ignored --><!-- head ignored --><!-- meta ignored -->
<div dir="ltr">
<div class="gmail_extra"><br />
<div class="gmail_quote">On 6 October 2015 at 12:23, Petter Mab&auml;cker <span>&lt;<a href="mailto:petter@technux.se">petter@technux.se</a>&gt;</span> wrote:<br />
<blockquote class="gmail_quote" style="margin: 0  0  0  .8ex; border-left: 1px  #ccc  solid; padding-left: 1ex;">
<div class="gmail_extra">&nbsp;The patch must be applied by something/someone.. For example Debian solves it by doing their own .diff patch (<a href="http://http.debian.net/debian/pool/main/r/readline6/readline6_6.3-8.debian.tar.xz">http://http.debian.net/debian/pool/main/r/readline6/readline6_6.3-8.debian.tar.xz</a>). I can send a suggestion about how to solve this in a proper way.</div>
<div class="gmail_extra">&nbsp;</div>
</blockquote>
</div>
<br />Whoops, the file wasn't renamed to .patch and even after being renamed, it isn't actually a properly formatted patch.&nbsp; I'll fix this up now.</div>
<div class="gmail_extra">&nbsp;</div>
<div class="gmail_extra">&nbsp;</div>
<div class="gmail_extra">&nbsp;</div>
</div>
</blockquote>
<p>Great. As you will notice also when formatted properly it will not apply due to that readline63-001 and readline63-002 isn't applied so&nbsp; 'patchlevel' is incorrect. That makes me wondering what the patching strategy is? In my opinion we should consider adding the official readline-6.3 patches as well. Should I add a bug report for that or leave it as is (depending on the strategy...)?</p>
<div class="gmail_extra">&nbsp;</div>
<div class="gmail_extra">BR Petter</div>
<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px; width:100%">
<div class="gmail_extra">Thanks for noticing!</div>
<div class="gmail_extra">&nbsp;</div>
<div class="gmail_extra">Ross</div>
<div class="gmail_extra">&nbsp;</div>
</blockquote>
</body></html>