« Bugzilla Issues Index
#4024 — 8.5.1: "InitializeFirstRealm"
- bug_id:
4024
- creation_ts:
2015-02-20 09:08:00 -0800
- short_desc:
8.5.1: "InitializeFirstRealm"
- delta_ts:
2015-03-04 18:58:23 -0800
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 34: February 20, 2015 Release Candidate 1
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
13194
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2015-02-20 09:08:37 -0800
In 8.5.1 "InitializeHostDefinedRealm ( realm )",
the preamble says:
The abstract operation InitializeFirstRealm ...
s|First|HostDefined|
- commentid:
13309
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2015-02-24 13:49:48 -0800
fixed in rev35 editor's draft
- commentid:
13550
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2015-03-04 18:58:23 -0800
fixed in rev35