tree 3634e38cb35fdd3a7217f7581702cef26182e662
parent 817f5a068881a4aa7a2f11a135e9f2d1e1eb1a5c
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1646407531 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1646407661 +0100

Fix Ubuntu 20.04 SPQR build

Fixes #764

Change-Id: I045eb6653749d8a09f4aeb617163288cbf92ad56