SEC-89 Fix messaget's copy-constructor and operator=#1464

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/messaget_copy_and_assign_operatorssmowton/cbmc:smowton/fix/messaget_copy_and_assign_operatorsCopy head branch name to clipboard