Opened 11 years ago

Closed 11 years ago

#6723 closed patch (fixed)

Bug fixes for

Reported by: Jeff Lu <jll544@…> Owned by: Nigel
Priority: minor Milestone: unknown
Component: Ports - Windows Version: head
Severity: medium Keywords:
Cc: Ticket locked: no


Had to open a new ticket because I don't have permissions to reopen #6711. Attached patch fixes a bad URL that crept into the last patch, along with a couple really old whitespace-related bugs in the installer-building parts of the script. Apologies for the noise.

Attachments (1)

6723-w32pkg_bugs.patch (1.6 KB) - added by Jeff Lu <jll544@…> 11 years ago.

Download all attachments as: .zip

Change History (2)

Changed 11 years ago by Jeff Lu <jll544@…>

Attachment: 6723-w32pkg_bugs.patch added

comment:1 Changed 11 years ago by markk

Resolution: fixed
Status: newclosed

(In [20985]) Windows packager fixes. Closes #6723.

Note: See TracTickets for help on using tickets.