> On 19/06/2018, at 13:28, Benda Xu <[email protected]> wrote:
>
> Hi François,
>
> François Bissey <[email protected]> writes:
>
>> Right are starting to find the github issue. If I send a PR (which will
>> be trivial) will there be a kind soul to merge it.
>
> I though you had the overlay access. No problem I will merge it if you
> come up with one.
Used too. Then there was some infra re-org and I lost it.
Well, once that stuff is fixed I can move on with a PR for
the latest openblas (0.3.0), considering some of the issues
with 0.2.20 (https://github.com/cschwan/sage-on-gentoo/issues/481)
it should really be updated.
Now for some motivation...
François
