Change ownership of `src/config.inc` file #6373

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:change_config_inc_ownershipNlightNFotis/cbmc:change_config_inc_ownershipCopy head branch name to clipboard