diff --git a/changelog/inf-kernel.html b/changelog/inf-kernel.html index 893e1c9..6564a73 100644 --- a/changelog/inf-kernel.html +++ b/changelog/inf-kernel.html @@ -5,7 +5,7 @@ - + @@ -33,6 +33,7 @@

Table of Contents