diff --git a/docs/efabi-minimal.html b/docs/efabi-minimal.html index 8b05494e3..787202101 100644 --- a/docs/efabi-minimal.html +++ b/docs/efabi-minimal.html @@ -638,21 +638,21 @@