Emergency pull

Critical bug in logout.php affecting the redirect after logout.