Ticket #10631 (new enhancement)
Make parsing of Magma's GB logs work with more versions of Magma
|Reported by:||malb||Owned by:||was|
In #10571 a simple parser for Magma's GB logs was introduced. It works with current versions of Magma but not with e.g. Magma 2-13. This ticket is to make the parser more robust wrt. different Magma versions.