Sebastian Kuschel reports that pfd_closing can be called for a socket
[u/mdw/putty] / Buildscr.cv
2013-07-22 simonAdd a bob script to do Coverity scanning.