write_pid_file(): Rename pidfile to pid_file
[privoxy.git] / debian / config
2016-08-29 Roland RosenfeldAdd all Debian changes since 3.0.24-2.