Feature will be permanently deleted from pykat. This cannot be undone.

bug will be permanently deleted from pykat. This cannot be undone.