« Bugzilla Issues Index
#3070 — 11.6: "Other_ID_ Continue"
- bug_id:
3070
- creation_ts:
2014-07-25 21:10:00 -0700
- short_desc:
11.6: "Other_ID_ Continue"
- delta_ts:
2014-08-25 08:29:19 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 26: July 18, 2014 Draft
- 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:
9562
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2014-07-25 21:10:48 -0700
In 11.6 "Names and Keywords",
in the last production,
the RHS ends with
or “Other_ID_ Continue”
Delete the space before "Continue".
- commentid:
9612
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-07-26 16:13:42 -0700
fixed in rev27 editor's draft
- commentid:
9869
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2014-08-25 08:29:19 -0700
fixed in rev27 draft