Use short CI badges and consistent SNode.C display names - #291

Use short CI badges and consistent SNode.C display names#291

VolkerChristian merged 1 commit into

masterSNodeC/snode.c:masterfrom

fix/october-reviewSNodeC/snode.c:fix/october-reviewCopy head branch name to clipboard