Drop-session-type-argument.patch
