On Wed, 2019-11-06 at 19:55 +0100, Markus Elfring wrote: > > There is no bug here. > > Do you find duplicated source code questionable? No. It is something that can be improved through code consolidation though. > Is this also an error item? Definitely not. It is _only_ an error if there is some logic defect. There is no logic defect here.
