]> git.tuebingen.mpg.de Git - paraslash.git/search
client.c: supervisor task should use post_select instead of pre_select.