Before I merged @adrian-wilkins branch, I confirmed that the bug was real (it was real) and afterwards I double-checked that the bug was fixed (it is now fixed).
Before I merged @adrian-wilkins branch, I confirmed that the bug was real (it was real) and afterwards I double-checked that the bug was fixed (it is now fixed).