3 ms·

If it's an employee with the permissions to file a ticket, it doesn't matter if they're a developer or not.