Skip to content

Use n_ prefix consistently, (rename all num_ to n_), fixes #986#2046

Merged
maxnoe merged 1 commit intomasterfrom num_vs_n_Jul 28, 2022

Commits

Commits on Jul 28, 2022