rename debian12 -> debian

This commit is contained in:
John Mertz 2023-07-16 14:49:48 -04:00
parent 831370466d
commit 4ba252d306
1 changed files with 0 additions and 0 deletions