From 9de55e6ffd97872a89d44fa06014f838b1615e73 Mon Sep 17 00:00:00 2001
From: Giovanni Mascellani <gio@debian.org>
Date: Sun, 17 Nov 2019 17:05:37 +0100
Subject: [PATCH] Fix funny mistake in copyright headers.

---
 test/optional_test_deleted_default_ctor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/optional_test_deleted_default_ctor.cpp b/test/optional_test_deleted_default_ctor.cpp
index 790753c..1fe2bdb 100644
--- a/test/optional_test_deleted_default_ctor.cpp
+++ b/test/optional_test_deleted_default_ctor.cpp
@@ -1,5 +1,5 @@
 // Copyright 2017 Peter Dimov
-// Copyright 2017 Vinnie NotDefaultConstructible
+// Copyright 2017 Vinnie Falco
 // Copyright 2018 Andrzej Krzemienski
 //
 // Distributed under the Boost Software License, Version 1.0.