22 Nov
2007
22 Nov
'07
3:41 a.m.
On Wed, Nov 21, 2007 at 07:55:51PM +0100, Johannes Waldmann wrote:
PS: indeed I just checked the docs and found -XDisambiguateRecordFields Was this advertized?
It's in the 6.8.1 release notes (well, the -fdisambiguate-record-fields flag is, but we should have advertised -XDisambiguateRecordFields instead). Thanks Ian