diff options
author | Cedric Nugteren <web@cedricnugteren.nl> | 2023-05-10 17:10:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-10 17:10:17 +0200 |
commit | 3baf82357552f66e35728b9bb00ca32da54125ea (patch) | |
tree | 81865b216dd7fe763c712eda9be3c7629cec3f70 /src/database/kernels/xgemv_fast | |
parent | d94d086d6f92ff1f73bd2a8595a974f6802b3f24 (diff) |
Fixes an issue under Android when the driver was already unloaded (#462)
Diffstat (limited to 'src/database/kernels/xgemv_fast')
0 files changed, 0 insertions, 0 deletions