Have you tried flushing cache when none of the users are logged into the system ?

Alternatively Users can try Ctrl+R to reload the page from Server.

Best Regards,

Rahul

Please mark the thread as Correct / Helpful if it resolved your query.