From dae4a787d1c097ad5a135b8a702c3e7af6ea3dc7 Mon Sep 17 00:00:00 2001
From: Markus Lehtonen <markus.lehtonen@intel.com>
Date: Fri, 21 Jul 2023 11:34:14 +0300
Subject: [PATCH] dummy: re-trigger docs building

Some glitch caused the previous PR (marking release v0.10 branch as
unsupported) not to update the gh-pages docunmentation. This empty patch
is just for re-triggering the GitHub workflow to update the docs.