From cd324a4734bef41e0520d53a3a917aca761754a0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 3 Mar 2022 11:07:00 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/NativeContext.cs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/api/dotnet/NativeContext.cs b/src/api/dotnet/NativeContext.cs
index a9c4ab775..604d752b2 100644
--- a/src/api/dotnet/NativeContext.cs
+++ b/src/api/dotnet/NativeContext.cs
@@ -12,10 +12,8 @@ Abstract:
 Author:
 
     Christoph Wintersteiger (cwinter) 2012-03-22
-    Nikolaj Bjorner (nbjorner) 2022-03-01
-
-Notes:
-    
+    John Fleisher, Nikolaj Bjorner (nbjorner) 2022-03-01
+       
 --*/
 
 using System;