2257 ticket number

https://w3id.org/class/redaktor/ticketNumber

JSON

Inbox

Definition

The unique identifier for the ticket.