User Information

Usernamejavier.sepulveda

Timeline

   2023-09-03 .. 2023-09-10   
Prev Next
javier.sepulveda assigned issue 0007934 to Christian Grothoff
2023-09-05 09:51
javier.sepulveda created issue 0007934
2023-09-05 09:51
javier.sepulveda assigned issue 0007572 to Florian Dold
2023-09-05 09:17
javier.sepulveda commented on issue 0007572
2023-09-05 09:17
javier.sepulveda commented on issue 0007705
2023-09-05 08:57
javier.sepulveda resolved issue 0007705
2023-09-05 08:57
javier.sepulveda commented on issue 0007604
2023-09-05 07:21
javier.sepulveda resolved issue 0007604
2023-09-05 07:21