Changed to 7.3.1 because 7.3.0 will not be released.#188

gr5 merged 1 commit intomastergithubdoe/DFTFringe:masterfrom

gr/prgithubdoe/DFTFringe:gr/prCopy head branch name to clipboard