summaryrefslogtreecommitdiff
path: root/debian/make-new-tarball.sh
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-11 16:33:31 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-11 16:33:31 +0200
commit4a1aaec0d8537f663a25b889bdcbf947ddf58d28 (patch)
tree4854a9143762a3dbc30130d78374cd47b8e85ebe /debian/make-new-tarball.sh
parent85d430f637b926602b97d08b9aa91c0fe0e09311 (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