Mentions légales du service

Skip to content
Snippets Groups Projects
Unverified Commit 47bb4f4e authored by coqbot's avatar coqbot Committed by GitHub
Browse files

Merge PR #20897: Simplify pr_lident


Reviewed-by: proux01
Co-authored-by: default avatarproux01 <proux01@users.noreply.github.com>
parents 17be39ed 8d661cd0
No related branches found
No related tags found
Loading
Checking pipeline status