« Previous | Next » 

Revision 94300592

ID94300592d9606daff8315ed5bfa3daa99f5b8be9
Parent fa805261
Child ddb1cfd6

Added by Peter Serwylo almost 4 years ago

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

View differences