Update publications.md#13

ondrik wants to merge 1 commit into

masterondrik/ondrik.github.io:masterfrom

prose-patch-13ondrik/ondrik.github.io:prose-patch-13Copy head branch name to clipboard