Update just-the-docs requirement from 0.10.1 to 0.12.0#5

dependabot[bot] wants to merge 1 commit intomaindmtcp/dmtcp.github.io:mainfrom

dependabot/bundler/just-the-docs-0.12.0dmtcp/dmtcp.github.io:dependabot/bundler/just-the-docs-0.12.0Copy head branch name to clipboard