Google Fixes Hidden Manual Actions Bug

When I went offline (which is hard to do) I got notified (which I didn't see until I came back) that some webmasters were not being notified of manual actions they received in the Google Search Console...