Just tried this but can't replicate it:
$ ../g10/gpg -dv <1.msg --override-session-key 7:D6E1027D58A0CB047C41EA881A137197 --status-fd 2 gpg: public key is 7F3B7ED4319BCCA8 [GNUPG:] ENC_TO 7F3B7ED4319BCCA8 18 0 gpg: encrypted with ECDH key, ID 7F3B7ED4319BCCA8 [GNUPG:] BEGIN_DECRYPTION gpg: AES encrypted data [GNUPG:] DECRYPTION_INFO 2 7 gpg: original file name='' [GNUPG:] PLAINTEXT 62 1508859245 [GNUPG:] PLAINTEXT_LENGTH 68 "Well hello there Charlie Brown, you blockhead." -- Lucy Van Pelt [GNUPG:] DECRYPTION_OKAY [GNUPG:] GOODMDC [GNUPG:] END_DECRYPTION $ echo $? 0 $ gpg -k 7F3B7ED4319BCCA8 gpg: error reading key: No public key