HomeGitPull.it

avoid number\UID mix and get the UID only if needed

Description

avoid number\UID mix and get the UID only if needed

Details

Provenance
valerio.bozzolanAuthored on Apr 1 2020, 07:43
valerio.bozzolanPushed on Apr 1 2020, 16:04
Parents
R13:c13e032c85b0: fix wrong usage of imap_headerinfo()
Branches
Unknown
Tags
Unknown