testing "raising an issue" #57
Description
Hi Alfonso, Siddharth said he found a smaller problem and I suggest to him to raise this via this "issue" mechanism in Git.
Can you please email if you get a notice of this message so I know this is the way to "raise an issue"?
Many thanks,
--Bernhard