From 8e9b3d874add235797af157f268812e14fb63a08 Mon Sep 17 00:00:00 2001
From: Yaoyao Liu <yaoyao.liu@mpi-inf.mpg.de>
Date: Mon, 26 Aug 2024 09:36:28 -0500
Subject: [PATCH] Update Gemfile

---
 Gemfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Gemfile b/Gemfile
index 7d80add24..718eb7ca6 100644
--- a/Gemfile
+++ b/Gemfile
@@ -18,3 +18,5 @@ gem "minima", "~> 2.0"
 gem "github-pages", group: :jekyll_plugins
 
 gem "webrick", "~> 1.8"
+
+gem 'nokogiri', '~> 1.10'