diff options
Diffstat (limited to 'desktop/recorditnow/gcc7.patch')
| -rw-r--r-- | desktop/recorditnow/gcc7.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/desktop/recorditnow/gcc7.patch b/desktop/recorditnow/gcc7.patch new file mode 100644 index 0000000000..fb3526e925 --- /dev/null +++ b/desktop/recorditnow/gcc7.patch @@ -0,0 +1,11 @@ +--- recorditnow-0.8.1/src/mainwindow.cpp.orig 2017-07-09 14:27:15.653631058 +0700 ++++ recorditnow-0.8.1/src/mainwindow.cpp 2017-07-09 14:27:42.712300823 +0700 +@@ -1114,7 +1114,7 @@ + if (m_zoomDock) { + removeDockWidget(m_zoomDock); + delete m_zoomDock; +- m_zoomDock = false; ++ m_zoomDock = 0; + } + } + |