From: Anthony D'Atri <anthonyeleven@users.noreply.github.com>
Date: Tue, 9 May 2023 08:47:51 +0000 (-0400)
Subject: Merge pull request #51397 from zdover23/wip-doc-2023-05-09-backport-51394-to-reef
X-Git-Tag: v18.1.0~120
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=1a64a81adb6215b2855484686060082146a3738c;p=ceph.git

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

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

1a64a81adb6215b2855484686060082146a3738c