Opened 5 years ago

Closed 5 years 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 5 years ago by mornfall

Resolution: → fixed
Status: new → closed

Ooops. Fixed in next.

Note: See TracTickets for help on using tickets.