|
From: Julian S. <js...@ac...> - 2010-03-08 10:56:39
|
> Can you please clarify how the proposed new annotation > ANNOTATE_HAPPENS_BEFORE_OVERWRITE() differs from > ANNOTATE_HAPPENS_BEFORE() and why it would be useful ? I don't know; these are Konstantin's annotations; I did not propose them. (I also wondered what the difference was.) J |