log

age author description
Tue, 14 Jan 2014 19:22:53 -0500 Adam Chlipala MySQL: set character set when opening a new connection