[sv-ac] ballot on 1758

Hi Folks:

Our ballot on the proposal for 1758 passed.

There was a friendly amendment to fix a minor font problem.

See the details below.

J.H.

----------------------------------------------------------------------------------
Ballot on Mantis 1758

- Called on 2007-10-10, final ballots due by 2007-10-17 T 23:59-07:00.

yv[xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[----------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[xxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[xxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[----------x--xxx.....................] Joseph Lu (Altera)
yv[xxxxxxx..............................] Johan Martensson (Jasper)
 n[---------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[x-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[--x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |------------------------------------- attendance on 2007-10-09
 |--------------------------------------- voting eligibility for this ballot
|---------------------------------------- email ballots received

        Legend:
                x = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3 or 3/4 overall)
                n = not a valid voter
                t = chair eligible to vote only to make or break a tie

----------------------------------------------------------------------------------
Friendly Amendments

[LP,MK]
- The word "is" in the sentence below is in the font of "expression2" 
  instead of the font for "a shorthand.." (it does not show in what I 
  copied from the PDF below)

     "The logical implication expression1 -> expression2 is a shorthand .."

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