On 15/02/2020 15:16, Joel Sherrill wrote:
I tried to do that, for some options I was not able to find the
corresponding release. There is a gap in the tags 4.0.0 -> 4.5.0.
And note when perhaps with a version when an option was deemed
obsolete. You might be able to get that from git blame in the future
but for now we just destroyed all that info for blame by creating a
devel mailing list