[tei-council] possible bug: origPlace/@type not available

[Gabriel BODARD]

According to the guidelines for tei:origPlace 
<http://www.tei-c.org/release/doc/tei-p5-doc/en/html/ref-origPlace.html>, "The 
type attribute may be used to distinguish different kinds of ‘origin’, 
for example original place of publication, as opposed to original place 
of printing." But this element doesn't seem in be in the att.typeable 
class. (There is a ticket http://purl.org/TEI/FR/2100015 in which it is 
claimed that this was implemented at r4785.)

Is this a simple bug?

Anyone object if I fix it quietly now?

G

-- 
Dr Gabriel BODARD
(Research Associate in Digital Epigraphy)

Department of Digital Humanities
King's College London
26-29 Drury Lane
London WC2B 5RL

Email: gabriel.bodard at kcl.ac.uk
Tel: +44 (0)20 7848 1388
Fax: +44 (0)20 7848 2980

http://www.digitalclassicist.org/
http://www.currentepigraphy.org/