The fix landed in trunk more than one week ago; I will check why it's not been uploaded to the archive.
The fix landed in trunk more than one week ago; I will check why it's not been uploaded to the archive.