Revision 94300592
ID | 94300592d9606daff8315ed5bfa3daa99f5b8be9 |
Parent | fa805261 |
Child | ddb1cfd6 |
Fix missing resource issue.
When adding "default_repo_priority", it was copy/pasted from
"default_repo_pubkey" without changing the name, and so
tried to cast the string value into an int and failed.
Files
- added
- modified
- copied
- renamed
- deleted