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

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

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

ac1c8d308e90d19bd5310c25593ea2823430a14f