There is a new upstream, 3.5.0.4 that fixes this and makes several Debian patches no longer necessary. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
There is a new upstream, 3.5.0.4 that fixes this and makes several Debian patches no longer necessary. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.