Bump nokogiri from 1.8.2 to 1.12.5 in /lib/jgrapht-1.4.0/source/docs#9

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

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