j
k
j a
j l
On Thu Jan 19 15:48:27 2023 +0000, Bernhard Kölbl wrote:
I personally find this a bit confusing, not sure if it makes sense to do. @rbernon What's your opinion?
I think you can actually omit `+ 7` here.
Back to the thread
Back to the list