rename debian12 -> debian

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