Skip to content

Commit 5b07fb1

Browse files
committed
doc: add forgotten contributors to title page (sorry)
1 parent 6510693 commit 5b07fb1

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

doc/z-title.xml

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,22 +32,34 @@
3232
<Homepage>https://mct25.host.cs.st-andrews.ac.uk</Homepage>
3333
</Author>
3434

35+
<Author>Marina Anagnostopoulou-Merkouri</Author>
36+
37+
<Author>Finn Buck</Author>
38+
3539
<Author>Stuart Burrell</Author>
3640

3741
<Author>Reinis Cirpons</Author>
3842

43+
<Author>Tom Conti-Leslie</Author>
44+
3945
<Author>Luke Elliott</Author>
4046

47+
<Author>Ewan Gilligan</Author>
48+
4149
<Author>Max Horn</Author>
4250

4351
<Author>Christopher Jefferson</Author>
4452

4553
<Author>Markus Pfeiffer</Author>
4654

55+
<Author>Lea Racine</Author>
56+
4757
<Author>Christopher Russell</Author>
4858

4959
<Author>Finn Smith</Author>
5060

61+
<Author>Ben Spiers</Author>
62+
5163
<Author>Murray White</Author>
5264

5365
<Copyright>&copyright; &COPYRIGHTYEARS; by

0 commit comments

Comments
 (0)