overlay for bignums (backwards-compatible)

andres-erbsen · andres-erbsen · commit 573d388592d9 · 2024-04-15T20:45:54.000Z
diff --git a/dev/ci/user-overlays/18936-andreser-remove-ByteVector-Ndist-Ndigits.sh b/dev/ci/user-overlays/18936-andreser-remove-ByteVector-Ndist-Ndigits.sh
@@ -0,0 +1 @@
+overlay bignums https://github.com/andres-erbsen/bignums remove-Ndigits 18936

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay bignums https://github.com/andres-erbsen/bignums remove-Ndigits 18936`