Hi,
If sure if you make a PR it can be looked into.
Haven't heard from Tomasz in a while, but send the PR and let's
see if something happens.
Worst case you have use thereof, and anyone else that wants it
needs to manually apply your PR, best case it gets merged.
Kind regards,
Jaco
--
You received this message because you are subscribed to the Google Groups "gdigi" group.
To unsubscribe from this group and stop receiving emails from it, send an email to gdigi+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/gdigi/89c0f176-eb9c-47bb-9c91-8bf3b104ffd7n%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/gdigi/dcfa3bae-1ee2-4db2-97ea-9ac7a18e4978%40kroon.co.za.