Fatal error in Redirection: post_updated receives null

Hi John,

We’re seeing this fatal error in Redirection:

Fatal error: Uncaught TypeError: Red_Monitor::post_updated(): 
Argument #2 ($post) must be of type WP_Post, null given, 
called in wp-includes/class-wp-hook.php on line 341

Stack trace shows it happens during post_updated when a post is being trashed/updated. It looks like $post can be null in some cases (likely during delete/trashed flows).

Could you advise if there’s a fix or patch? A guard like:

if (!$post instanceof WP_Post) { return; }

in Red_Monitor::post_updated might prevent the crash.

We’re on Redirection 5.6.1.

Thanks for your help.