Changes

#4286 (Jan 21, 2026, 1:03:14 PM)

1. contrib/jenkins.sh: fix non-existent include path — Vadim Yanitskiy / detail

#4281 (Jan 18, 2026, 1:48:09 PM)

1. contrib/jenkins.sh: fix build: add --disable-syslog-logging — Vadim Yanitskiy / detail