Skip to content

Avoid relying on native_compute.

Robbert Krebbers requested to merge robbert/no_native_compute into master

Similar to stdpp!419 (merged)

Merge request reports