From: zdover23 Date: Tue, 9 May 2023 00:53:06 +0000 (+1000) Subject: Merge pull request #51394 from rzarzynski/wip-doc-encode-stdoptional X-Git-Tag: v19.0.0~1265 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=008c644f469e478eac1c5bb5376e5ff187882023;p=ceph.git Merge pull request #51394 from rzarzynski/wip-doc-encode-stdoptional doc/dev/encoding.txt: update per std::optional Reviewed-by: Zac Dover --- 008c644f469e478eac1c5bb5376e5ff187882023