Release 9.3.8

[Bastien]

Hi all,

I'm releasing Org 9.3.8, a bugfix release.

Enjoy!

The next release will be 9.4: if you have outstanding important bugs
you would like to point to or to report, please go ahead.

Thanks,

-- 
 Bastien