HomePhorge

Fix two minor bugs with recent patches:

Description

Fix two minor bugs with recent patches:

  • Use the computed remote URI (which may have an explicit 'ssh://' under Git in some cases).
  • Use '$id' correctly rather than casting the URI to an int in the message parser.

Details

Provenance
epriestleyAuthored on Dec 22 2011, 6:57 AM
themackabuPushed on Mar 25 2025, 8:07 PM
Parents
rPfd8303aa7563: Document how to use the symbol importer
Branches
Unknown
Tags
Unknown

Event Timeline