From: Casey Bodley <cbodley@users.noreply.github.com>
Date: Tue, 28 Aug 2018 13:00:54 +0000 (-0400)
Subject: Merge pull request #23768 from wjwithagen/wjw-fix-shared_mutex
X-Git-Tag: v14.0.1~471
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=dde867463f4bd01a9d4370fbb83a03eb82a27ba2;p=ceph.git

Merge pull request #23768 from wjwithagen/wjw-fix-shared_mutex

core: Clang misses <optional> include

Reviewed-by: Jos Collin <jcollin@redhat.com>
Reviewed-by: Casey Bodley <cbodley@redhat.com>
---

dde867463f4bd01a9d4370fbb83a03eb82a27ba2