<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Mar 11, 2015, at 2:14 AM, Vassil Vassilev <<a href="mailto:vvasilev@cern.ch" class="">vvasilev@cern.ch</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
  
    <meta content="text/html; charset=windows-1252" http-equiv="Content-Type" class="">
  
  <div text="#000000" bgcolor="#FFFFFF" class="">
    <div class="moz-cite-prefix">On 10/03/15 19:13, Anna Zaks wrote:<br class="">
    </div>
    <blockquote cite="mid:5FAAA59F-A937-41C8-9532-19B852C2B0BE@apple.com" type="cite" class="">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252" class="">
      <br class="">
      <div class="">
        <blockquote type="cite" class="">
          <div class="">On Mar 10, 2015, at 1:03 AM, Vassil Vassilev
            <<a moz-do-not-send="true" href="mailto:vvasilev@cern.ch" class="">vvasilev@cern.ch</a>> wrote:</div>
          <br class="Apple-interchange-newline">
          <div class="">
            <div class="moz-cite-prefix" style="font-family: Helvetica;
              font-size: 12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);">On 09/03/15 21:52,
              Anna Zaks wrote:<br class="">
            </div>
            <blockquote cite="mid:105D966A-ACD2-4CF4-99EF-97E649DDD77F@apple.com" type="cite" style="font-family: Helvetica; font-size:
              12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
              <div class=""><br class="">
              </div>
              <div class="">+Easily, some of the code snippets end up
                being copied dozens of</div>
              <div class="">+times, which leads to worse
                maintainability, understandability and logical</div>
              <div class="">+design.</div>
            </blockquote>
            <span style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255); float: none;
              display: inline !important;" class="">Should be better
              now.</span><br style="font-family: Helvetica; font-size:
              12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <blockquote cite="mid:105D966A-ACD2-4CF4-99EF-97E649DDD77F@apple.com" type="cite" style="font-family: Helvetica; font-size:
              12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
              <div class=""><br class="">
              </div>
              <div class="">The project description stresses code
                maintainability and logical design more than bug finding
                due to omissions in copy and pasted code. Reading this
                made me think of a check that would suggest people to
                replace copy and pasted code with a function call or
                something like that... Examples do stress the specific
                bugs that could be found, which is what I had in mind:</div>
              <div class=""><br class="">
              </div>
              <div class="">
                <div class="">
                  <div class="">+   Copy-paste infrastructure could be
                    used to build other "goodies". Some</div>
                  <div class="">+examples and possible applications are:</div>
                </div>
              </div>
              <div class=""><br class="">
              </div>
              <div class="">Is this intentional? If not, maybe we could
                rephrase a bit with more emphasis on bug finding. I
                would also make it a requirement to use the
                infrastructure for bug detection.</div>
            </blockquote>
            <span style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255); float: none;
              display: inline !important;" class="">Well, partially yes,
              I wanted to have the project description as broad as
              possible so that interested students to specialized in a
              direction, in which they are most comfortable. Because IMO
              the project is bigger than 1 usual GSoC project.<span class="Apple-converted-space"> </span></span><br style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <span style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255); float: none;
              display: inline !important;" class="">I rephrased it to
              make it more focused towards bugs. Could you elaborate on
              the "I would also make it a requirement to use the
              infrastructure for bug detection.", please?</span><br style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
          </div>
        </blockquote>
        <div class=""><br class="">
        </div>
        <div class="">I would prefer not to have pure infrastructure, but rather
          develop infrastructure along with uses of it. Bug finding is
          one such use. That would allow to set clear goals for the
          students and allow for better qualification of the
          infrastructure.</div>
      </div>
    </blockquote>
    I see your point and I agree. I really want the proposal up soon.
    Can we discuss that in IRC, I think it would be easier for me? My
    nickname is vvassilev. <br class=""></div></div></blockquote><div><br class=""></div>I am not going to be online in the next couple of hours. I would just rewrite this a bit to make it clear that we expect some useful features being developed along with the copy and paste detection with bug finding as an example. Writing those features would be part of the project. <div class=""><br class=""></div><div class="">If a student is interested in a feature other than bug finding, I’d expect them to specify what that is when they apply. (As far as I recall, the students also write proposals. I am not sure what is the workflow when they reply to our proposal.)<div class=""><br class=""></div><div class="">I think the proposal is generally good. I’d just emphasize feature driven development in the goals.</div><div class=""><br class=""></div><div class="">Anna. </div></div><blockquote type="cite" class=""><div class=""><div text="#000000" bgcolor="#FFFFFF" class="">
    Many thanks,<br class="">
    Vassil<br class="">
    <blockquote cite="mid:5FAAA59F-A937-41C8-9532-19B852C2B0BE@apple.com" type="cite" class="">
      <div class="">
        <div class=""><br class="">
        </div>
        <div class="">(However, I see your point about making it open to students
          that are interested in using this infrastructure for other
          projects.)</div>
        <br class="">
        <blockquote type="cite" class="">
          <div class=""><br style="font-family: Helvetica; font-size:
              12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <span style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255); float: none;
              display: inline !important;" class="">BTW, please feel
              free to submit a patch to the patch (:)), if you think
              something else requires fixing or better wording.</span><br style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <blockquote cite="mid:105D966A-ACD2-4CF4-99EF-97E649DDD77F@apple.com" type="cite" style="font-family: Helvetica; font-size:
              12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
              <div class=""><br class="">
              </div>
              <div class="">Thanks for driving this!</div>
            </blockquote>
            <span style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255); float: none;
              display: inline !important;" class="">Sure, thank you for
              reviewing!</span><br style="font-family: Helvetica;
              font-size: 12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <span style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255); float: none;
              display: inline !important;" class="">Vassil</span><br style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <blockquote cite="mid:105D966A-ACD2-4CF4-99EF-97E649DDD77F@apple.com" type="cite" style="font-family: Helvetica; font-size:
              12px; font-style: normal; font-variant: normal;
              font-weight: normal; letter-spacing: normal; line-height:
              normal; orphans: auto; text-align: start; text-indent:
              0px; text-transform: none; white-space: normal; widows:
              auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
              <div class="">Anna.</div>
              <div class=""><br class="">
              </div>
              <div class="">
                <blockquote type="cite" class="">
                  <div class="">On Mar 9, 2015, at 1:54 AM, Vassil
                    Vassilev <<a moz-do-not-send="true" href="mailto:vvasilev@cern.ch" class="">vvasilev@cern.ch</a>>
                    wrote:</div>
                  <br class="Apple-interchange-newline">
                  <div class=""><span class="" style="font-family:
                      Helvetica; font-size: 12px; font-style: normal;
                      font-variant: normal; font-weight: normal;
                      letter-spacing: normal; line-height: normal;
                      orphans: auto; text-align: start; text-indent:
                      0px; text-transform: none; white-space: normal;
                      widows: auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">Hi Anton,</span><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;"> (CC-ing the people
                      who might be interested to review)</span><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;"> I am attaching the
                      patch.</span><br class="" style="font-family:
                      Helvetica; font-size: 12px; font-style: normal;
                      font-variant: normal; font-weight: normal;
                      letter-spacing: normal; line-height: normal;
                      orphans: auto; text-align: start; text-indent:
                      0px; text-transform: none; white-space: normal;
                      widows: auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">Many thanks,</span><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">Vassil</span><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">On 04/03/15 23:00,
                      Anton Korobeynikov wrote:</span><br class="" style="font-family: Helvetica; font-size: 12px;
                      font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <blockquote type="cite" class="" style="font-family:
                      Helvetica; font-size: 12px; font-style: normal;
                      font-variant: normal; font-weight: normal;
                      letter-spacing: normal; line-height: normal;
                      orphans: auto; text-align: start; text-indent:
                      0px; text-transform: none; white-space: normal;
                      widows: auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px;">Please provide a
                      patch to Open Projects list.<br class="">
                      <br class="">
                      On Wed, Mar 4, 2015 at 8:25 PM, Vassil Vassilev
                      <<a moz-do-not-send="true" href="mailto:vvasilev@cern.ch" class="">vvasilev@cern.ch</a>>
                      wrote:<br class="">
                      <blockquote type="cite" class="">On 17/02/15
                        09:47, Anton Korobeynikov wrote:<br class="">
                        <blockquote type="cite" class="">John,<br class="">
                          <br class="">
                          Yes, I'm taking care about application as
                          usual.<br class="">
                        </blockquote>
                        I saw the the LLVM mentoring org was accepted.
                        Congrats!<br class="">
                        Anton, could you tell me what is the procedure
                        of submitting a proposal for<br class="">
                        a project (I will be the mentor)?<br class="">
                        Many thanks,<br class="">
                        Vassil<br class="">
                        <br class="">
                        <blockquote type="cite" class="">On Tue, Feb 17,
                          2015 at 4:48 AM, Eric Christopher <<a moz-do-not-send="true" href="mailto:echristo@gmail.com" class="">echristo@gmail.com</a>><br class="">
                          wrote:<br class="">
                          <blockquote type="cite" class="">I believe
                            Anton was going to do so.<br class="">
                            <br class="">
                            <br class="">
                            On Mon, Feb 16, 2015, 5:14 PM John Criswell
                            <<a moz-do-not-send="true" href="mailto:jtcriswel@gmail.com" class="">jtcriswel@gmail.com</a>>
                            wrote:<br class="">
                            <blockquote type="cite" class="">Dear All,<br class="">
                              <br class="">
                              Has someone registered LLVM as an
                              organization for Google Summer of Code<br class="">
                              2015?  I'm interested in mentoring a GSoC
                              student this summer.<br class="">
                              <br class="">
                              -- John T.<br class="">
                              <br class="">
                              --<br class="">
                              John Criswell<br class="">
                              Assistant Professor<br class="">
                              Department of Computer Science, University
                              of Rochester<br class="">
                              <a moz-do-not-send="true" href="http://www.cs.rochester.edu/u/criswell" class="">http://www.cs.rochester.edu/u/criswell</a><br class="">
                              <br class="">
_______________________________________________<br class="">
                              LLVM Developers mailing list<br class="">
                              <a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a><span class="Apple-converted-space"> </span>        <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://llvm.cs.uiuc.edu/">http://llvm.cs.uiuc.edu</a><br class="">
                              <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br class="">
                            </blockquote>
                          </blockquote>
                        </blockquote>
                        <br class="">
                      </blockquote>
                      <br class="">
                      <br class="">
                    </blockquote>
                    <br class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px;">
                    <br class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">--<span class="Apple-converted-space"> </span></span><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">--------------------------------------------</span><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">Q: Why is this email
                      five sentences or less?</span><br class="" style="font-family: Helvetica; font-size: 12px;
                      font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <span class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px; float: none;
                      display: inline !important;">A:<span class="Apple-converted-space"> </span></span><a moz-do-not-send="true" href="http://five.sentenc.es/" class="" style="font-family: Helvetica; font-size: 12px;
                      font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">http://five.sentenc.es</a><br class="" style="font-family: Helvetica; font-size:
                      12px; font-style: normal; font-variant: normal;
                      font-weight: normal; letter-spacing: normal;
                      line-height: normal; orphans: auto; text-align:
                      start; text-indent: 0px; text-transform: none;
                      white-space: normal; widows: auto; word-spacing:
                      0px; -webkit-text-stroke-width: 0px;">
                    <br class="" style="font-family: Helvetica;
                      font-size: 12px; font-style: normal; font-variant:
                      normal; font-weight: normal; letter-spacing:
                      normal; line-height: normal; orphans: auto;
                      text-align: start; text-indent: 0px;
                      text-transform: none; white-space: normal; widows:
                      auto; word-spacing: 0px;
                      -webkit-text-stroke-width: 0px;">
                    <span id="cid:8BB9B73B-8468-4592-98F9-DC962BA5BA91@apple.com" class=""><CopyPasteDetectorGSoC15.diff></span></div>
                </blockquote>
              </div>
              <br class="">
            </blockquote>
            <br style="font-family: Helvetica; font-size: 12px;
              font-style: normal; font-variant: normal; font-weight:
              normal; letter-spacing: normal; line-height: normal;
              orphans: auto; text-align: start; text-indent: 0px;
              text-transform: none; white-space: normal; widows: auto;
              word-spacing: 0px; -webkit-text-stroke-width: 0px;
              background-color: rgb(255, 255, 255);" class="">
            <span id="cid:F7DB50E3-1717-4952-B4BC-D8FAA2FBBD57@apple.com" class=""><CopyPasteDetectorGSoC15_v2.diff></span></div>
        </blockquote>
      </div>
      <br class="">
    </blockquote>
    <br class="">
  </div>

</div></blockquote></div><br class=""></body></html>