aboutsummaryrefslogtreecommitdiff
path: root/dev/bugzilla2github_stripped.csv
diff options
context:
space:
mode:
authorcoqbot-app[bot]2020-10-01 17:57:00 +0000
committerGitHub2020-10-01 17:57:00 +0000
commit2855edead8813e48618041e21a467e83019b470d (patch)
tree09c88b05dd90aff01780eb17bf17dadce840b570 /dev/bugzilla2github_stripped.csv
parentb842e83ce941c995dfb266eee33c73e565785554 (diff)
parent4cc71d010174abcbeb793df514446fa2ec7d1b29 (diff)
Merge PR #13114: Reimplement Admit Obligations using standard Admitted code
Reviewed-by: ejgallego
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions