<div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
No, if you're filing bugs on Ubuntu, you should use /ubuntu, not<br>
/debian, so <a href="https://launchpad.net/ubuntu/+source/eigen3" rel="noreferrer" target="_blank">https://launchpad.net/ubuntu/+source/eigen3</a>.<br>
(<a href="https://launchpad.net/debian" rel="noreferrer" target="_blank">https://launchpad.net/debian</a> exists mainly as a convenience and as a<br>
by-product of the way we sync changes from Debian; it's not part of<br>
Debian's development workflow.)<br></blockquote><div><br></div><div>Oh I see, thanks for the pointer— and there is an active bugtracker there as well.<br></div><div><br></div><div>
<div>In any case, it looks like the patch from upstream's pull request doesn't apply cleanly and the divergence is enough that I got scared off of trying to make it work. I've asked that upstream consider porting the changes to their 3.3.x branch, so that hopefully Focal could get them eventually in a patch release.</div><div><br></div><div>And once 3.4 comes out, we can obviously use that via PPA.</div>

</div></div></div>