@@ -11,6 +11,9 @@ packages:
11 # on behalf of Bryan O'Sullivan @bos:
11 # on behalf of Bryan O'Sullivan @bos:
14+ "Jacek Galowicz <jacek@galowicz.de> @tfc":
14 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
17 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
15 - sessiontypes
18 - sessiontypes
16 - sessiontypes-distributed
19 - sessiontypes-distributed