Re: [PATCH] kdump-lib.sh: Fix is_user_configured_dump_target()