Attached file "reproduce-bug.sh". Philip
Attachment: reproduce-bug.sh Description: Bourne shell script