Bump nokogiri from 1.8.2 to 1.13.3 in /lib/jgrapht-1.4.0/source/docs#10

dependabot[bot] wants to merge 1 commit intomasterij2872/Distance-Vector-Routing-Study:masterfrom

dependabot/bundler/lib/jgrapht-1.4.0/source/docs/nokogiri-1.13.3ij2872/Distance-Vector-Routing-Study:dependabot/bundler/lib/jgrapht-1.4.0/source/docs/nokogiri-1.13.3Copy head branch name to clipboard