Opened 3 months ago

Closed 3 months ago

#79 closed defect (fixed)

Divine help commands crash

Reported by: Lukáš Zaoral Owned by: mornfall
Priority: major Milestone: 4.3
Component: UI Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…

Description

Hello, I'd like to report a regression in the 4.3.5 release. Divine crashes while printing the help messages.

Both the divine help {check|...} and the help command in divine sim are affected. Thanks.

Change History (1)

comment:1 Changed 3 months ago by mornfall

Resolution: fixed
Status: newclosed

Ooops. Fixed in next.

Note: See TracTickets for help on using tickets.