gted 0.7.0 will be released this week.
It will contain two major bugfixes:
- #1799345: support for multiple references e.g. #: ;1044
- #1797112: header fields are now saved
gted 0.7.0 works fine on Windows and Mac. This evening I will do some testing on my Linux box.