D 2023-01-17T19:41:06.842
J foundin v1.80
J icomment Shell\sand\sscheme\sare\sevaluated\sin\scomments.\sThis\sis\snot\sproving\suseful.\sPlease\sdisable.
J login matt
J mimetype text/x-markdown
J severity Important
J status Open
J title Shell\sand\sscheme\sare\sevaluated\sin\scomments.\sThis\sis\snot\sproving\suseful.\sPlease\sdisable.
J type Code_Defect
K 71bc1fd41690f04c0eded391eeeaeec01cb76003
U matt
Z 25bd8586856e562b3d8d4ea91eed42c0