We've been covering the "Walshed" device situation where attempting to install the May security update failed for many users who used the work around to receive NoDo using the Chevronwp7.updater. A while back Chris posted on his blog that a fix was being approved by Microsoft. This tool has now been released and is available on his blog (link below).

Source: Chris Walsh