21 Nov
2007
21 Nov
'07
5:11 p.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