From: Anthony D'Atri <anthonyeleven@users.noreply.github.com>
Date: Tue, 9 May 2023 08:48:15 +0000 (-0400)
Subject: Merge pull request #51399 from zdover23/wip-doc-2023-05-09-backport-51394-to-pacific
X-Git-Tag: v16.2.14~153
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=3fa72344eeb7f8c2364073ca083ac572a2515fd7;p=ceph.git

Merge pull request #51399 from zdover23/wip-doc-2023-05-09-backport-51394-to-pacific

pacific: doc/dev/encoding.txt: update per std::optional
---

3fa72344eeb7f8c2364073ca083ac572a2515fd7