]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Merge branch 'refs/heads/t/gui-sigwinch'
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 1 May 2018 16:17:32 +0000 (18:17 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 1 May 2018 16:25:59 +0000 (18:25 +0200)
A single patch which removes a long standing issue of para_gui.

Cooking for half a year.

* refs/heads/t/gui-sigwinch:
  gui: Catch SIGWINCH.


No differences found