diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-11 16:33:31 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-11 16:33:31 +0200 |
commit | 4a1aaec0d8537f663a25b889bdcbf947ddf58d28 (patch) | |
tree | 4854a9143762a3dbc30130d78374cd47b8e85ebe /debian/make-new-tarball.sh | |
parent | 85d430f637b926602b97d08b9aa91c0fe0e09311 (diff) |
Fix spurious port deallocation
* patches/proc_exception.patch: New patch to fix spurious port deallocation.
Diffstat (limited to 'debian/make-new-tarball.sh')
0 files changed, 0 insertions, 0 deletions