User Information

Username javier.sepulveda

Timeline

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