I assume this will be kicked out of the branch before we merge? I mean,
either works, it just seems a bit pointless to keep patches to aid
comparisons in our tree.
On Fri, 2018-12-14 at 14:04 +, Emil Velikov wrote:
> From: Emil Velikov
>
> Makes it easier to compare the newly generated heade
From: Emil Velikov
Makes it easier to compare the newly generated header against the old
one. Will be reverted after the transition.
---
src/mapi/new/genCommon.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/mapi/new/genCommon.py b/src/mapi/new/genCommon.py
index b0925d80151..ec48d
