diff --git a/dev/articles/mlr3mbo.html b/dev/articles/mlr3mbo.html index aa47d229..4f699c8b 100644 --- a/dev/articles/mlr3mbo.html +++ b/dev/articles/mlr3mbo.html @@ -672,7 +672,7 @@