25 Jan
2023
25 Jan
'23
8:56 a.m.
On Wednesday, January 25, 2023 9:51:46 AM CET, Andrew Randrianasulu wrote:
It does not fix any bug I know of, so probably safest way to leave code as it was before me (because threads!) and probably revisit if some tool show issue or user report it.
Developing software is not equal to copy-pasting. I would like to see an explanation why someone would not want to unlock, while that happens in any other case. -- Stefan