The source project of this merge request has been removed.
shell: fix signal handler id types
They are gulong, not guint. Avoids the warning:
warning: initialization of 'gulong * const' {aka 'long unsigned int * const'} from incompatible pointer type 'guint *' {aka 'unsigned int *'} [-Wincompatible-pointer-types]
Fixes 2f63071f
Sorry I missed this in the original commit