Víðir Valberg Guðmundsson b7feb96c9b Adding a badge token to tickets that grant that.		2019-07-24 21:08:36 +02:00
..
ticket.html	Adding a badge token to tickets that grant that.	2019-07-24 21:08:36 +02:00