archives

« Bugzilla Issues Index

#877 — 15.15.1.1 MapInitialisation should be "WeakMapInitialisation"


Appears in title


corrected in rev 12 editor's draft


corrected in rev 12, Nov. 22, 2012 draft