PHP Notice in 2.4 with WP 5.0.x, PHP 7.3

This plugin in v2.4 in combination with WP 5.0.x and PHP 7.3 we get a PHP notice:
PHP Notice: Undefined index: post in /wp-content/plugins/osd-exclude-from-search-results/includes/OSDExcludeFromSearchResults.php on line 15

Anyone how wants to fix this can change the matching line with this code:
$media_post_type = (isset($_GET['post'])) ? (get_post_type($_GET['post']) == 'attachment') ? true : false : false;