mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 14:16:07 -06:00
[GH-ISSUE #32] UppHub crashes TheIDE #16
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/ultimatepp#16
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @ismail-yilmaz on GitHub (Jan 7, 2021).
Original GitHub issue: https://github.com/ultimatepp/ultimatepp/issues/32
ide/UppHub.cpp: 69, crashes TheIDE
7306e9c347/uppsrc/ide/UppHub.cpp (L69)Should be:
@klugier commented on GitHub (Jan 7, 2021):
@ismail-yilmaz please verify and close.
@ismail-yilmaz commented on GitHub (Jan 8, 2021):
Done.