include <optional>
commitf6595bd290f9a8d160b0f7acb498625aa91a0814
authorS. Gilles <sgilles@sgilles.net>
Fri, 7 Jul 2023 21:46:14 +0000 (7 17:46 -0400)
committerS. Gilles <sgilles@sgilles.net>
Fri, 7 Jul 2023 21:46:14 +0000 (7 17:46 -0400)
tree8c78fa8567d92a6d69c666aed0b8cdfdb64d42a6
parente50993bb7db7c0b5423ae19cc2b77e0982b82e36
include <optional>
session.hh