]> git.tue.mpg.de Git - dss.git/commit
Merge branch 't/exit_fix'
authorAndre Noll <maan@systemlinux.org>
Tue, 14 Jan 2014 14:15:38 +0000 (15:15 +0100)
committerAndre Noll <maan@systemlinux.org>
Tue, 14 Jan 2014 14:16:19 +0000 (15:16 +0100)
commit641e3804cd87fb07b6089facd92f4452e5e3aa12
treea3e0d9fdd3f68fdb172b000d1e7b01d0a6ec8989
parentf33cf243ae1cb5657cccb7c43c99093936093b4a
parent19982b7b17a603bd4a0b47c724b4e830daaf88d9
Merge branch 't/exit_fix'

Was cooking since 2013-10.