From 1cc2cc01431e17e46be7b7bd89127dcbdd05e089 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 14 Nov 2018 14:07:14 -0800
Subject: [PATCH] add TBD marker

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_util.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 63938caf9..be7132b75 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1839,6 +1839,7 @@ class DotNetCoreDLLComponent(Component):
         self.key_file = default_key_file
 
     def mk_pkg_config_file(self):
+        # TBD revise
         """
             Create pkgconfig file for the dot net bindings. These
             are needed by Monodevelop.