From: Christoph Egger <Christoph.Egger@fau.de>
Date: Wed, 21 Jan 2015 12:20:30 +0000 (+0100)
Subject: Marke BUG as fixed
X-Git-Tag: v0.1~122
X-Git-Url: https://git.siccegge.de//index.cgi?p=frida%2Ffrida.git;a=commitdiff_plain;h=3b1ea72604dd0d6e4d90c330615e35e1676241b3

Marke BUG as fixed

Relevant commit: 9252262693432b33dbe4ffc60d79bbdc6fbb5f66
---

diff --git a/BUGS.org b/BUGS.org
index b43fa7c..b8191ca 100644
--- a/BUGS.org
+++ b/BUGS.org
@@ -4,7 +4,7 @@
     without linearly searching through all BasicBlockWidgets all the
     time
 
-* TODO Splitting BasicBlocks needs to happen sooner
+* DONE Splitting BasicBlocks needs to happen sooner
 
     BasicBlocks are splittet too late these days. As a result we
     sometimes get BasicBlocks that are suffixes of other BasicBlocks