(2018-02-24, 23:29)Steffen Wrote: doesn't the move of the code repo keep its history?
i.e., having moved it from SourceForge to github should still allow you to see the old commits AFAIK.
your screenshot above shows version 4.3, which one are you seeking?
I don't think I need it any more. Not sure how I would have determined the correct revision number just based on that screenshot either.