3 Commits

Include renames

Author	SHA1	Message	Date
jrenslin	ead81f6019	Add "glued" to marking_types	2021-07-12 15:33:16 +02:00
jrenslinandstefan	0755f7b23a	Approval.	2020-09-15 15:23:49 +02:00
jrenslinandstefan	dd94675e23	Initial.	2020-08-06 16:08:45 +02:00