Bump pygments from 2.19.2 to 2.20.0 in /frontend#1335

dependabot[bot] wants to merge 1 commit intomainAdaCore/learn:mainfrom

dependabot/pip/frontend/pygments-2.20.0AdaCore/learn:dependabot/pip/frontend/pygments-2.20.0Copy head branch name to clipboard