Lukas Eder edd616a3a7 [#1806] Let Record.toString() wrap the record in a temporary Result and ... call Result.toString() instead		2012-09-07 09:33:25 +02:00
..
jooq	[#1806] Let Record.toString() wrap the record in a temporary Result and	2012-09-07 09:33:25 +02:00