This patch would change the debian/initramfs/premount-devpts script to first check if /dev/pts is already mounted. If it is, then we exit the script.
This patch would change the debian/ initramfs/ premount- devpts script to first check if /dev/pts is already mounted. If it is, then we exit the script.