I spotted and fixed two bugs caused by typos. I recommend merging them into develop and, eventually, the main. The version of the main to which I made the fixes is surely outdated by now. Hopefully that is not a problem.
I retract this pull request. I will make a new one where the feature branch is first rebased to develop. Also, one additional bug fix will be included.
I spotted and fixed two bugs caused by typos. I recommend merging them into develop and, eventually, the main. The version of the main to which I made the fixes is surely outdated by now. Hopefully that is not a problem.