Early this morning a final patch for bash was applied and all appears to be well with the departmental servers and linux desktops.
Once again we remind users that if you manage your own Linux/Unix or MacOS computer/laptop at home or in your office (especially if you have a webserver) then you should definitely fix this problem.
