javier.sepulveda resolved issue 0008592
2024-03-14 14:21
2024-03-14 13:48
2024-03-14 13:47
javier.sepulveda picked up issue 0008641
2024-03-14 10:44
javier.sepulveda created issue 0008641
2024-03-14 10:44
Christian Grothoff closed issue 0005712
2024-03-14 09:34
Christian Grothoff resolved issue 0005712
2024-03-14 09:34
2024-03-14 09:34
Christian Grothoff commented on issue 0005712
2024-03-14 09:33
javier.sepulveda commented on issue 0008560
2024-03-14 09:08
2024-03-14 09:08
2024-03-14 09:06
javier.sepulveda commented on issue 0008502
2024-03-14 09:06
javier.sepulveda commented on issue 0008560
2024-03-14 08:49
2024-03-13 21:38
Florian Dold commented on issue 0008549
2024-03-13 21:37
Florian Dold commented on issue 0008549
2024-03-13 21:36
2024-03-13 20:35
Florian Dold commented on issue 0008637
2024-03-13 20:35