Re: set_pmc_keyed_int delegates to set_pmc_keyed...?

[Leopold Toetsch]

Am Samstag, 4. November 2006 16:17 schrieb Patrick R. Michaud:
> Any thoughts about how we should resolve this?

This is fixed now with r15111.

> Pm

leo