diff --git a/changelog/inf-kernel.html b/changelog/inf-kernel.html index d14a5d3..52b88d6 100644 --- a/changelog/inf-kernel.html +++ b/changelog/inf-kernel.html @@ -5,7 +5,7 @@ - + @@ -33,6 +33,7 @@

Table of Contents