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