jrm@
Developer
https://plus.google.com/u/0/101960720994009339267/posts/ENuEDDYfvKP?hl=en
Update: It was initially reported that he passed away on October 9th, but most sources now report it was actually on the 8th.
Update: It was initially reported that he passed away on October 9th, but most sources now report it was actually on the 8th.