[sv-ac] Email ballot results (Due September-20 (resend)

2476
Yes Laurence Bisht
Yes Eduard Cerny
Yes Ben Cohen
Yes Surrendra Dudani
Yes Dana Fisman
Yes John Havlicek
Yes Tapan Kapoor
Yes Manisha Kulshrestha
Yes Scott Little
Yes Anupam Prabhakar
Yes Erik Seligman
Yes Samik Sengupta
Yes Tom Thatcher

Issue 2476 passed: 13y/0n/0a

Friendly amendments:

Dana:
I vote yes on 2476 - with the friendly amendment :
change assert_simple_function
to assert_bitvector_function

(Fixed)

Manisha:
I have a friendly amendment to change the color of the function names to red in Syntax 20-13

(Fixed)
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.