futhark-benchmarks: bump

diku-dk · Jan 25, 2021 · 6a88289 · 6a88289
1 parent 71c5965
commit 6a88289
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/futhark-benchmarks b/futhark-benchmarks