Yes, the next release is going to be labeled v3.13a.

src/sbbs3/js_global.c

src/sbbs3/js_internal.c

src/sbbs3/js_queue.c

src/sbbs3/sbbsdefs.h