On 9/22/18, [email protected] <[email protected]> wrote: > ============================================================================= > Today's topic summary > ============================================================================= > > Group: [email protected] > Url: > > https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/electricvlsi/topics > > > - Submitting patch to Electric build [1 Update] > http://groups.google.com/group/electricvlsi/t/b0e52c881636562a > > > ============================================================================= > Topic: Submitting patch to Electric build > Url: http://groups.google.com/group/electricvlsi/t/b0e52c881636562a > ============================================================================= > > ---------- 1 of 1 ---------- > From: Dmitry Nadezhin <[email protected]> > Date: Sep 21 10:39AM +0300 > Url: http://groups.google.com/group/electricvlsi/msg/1060dcaed05d04 > > Alex, > > Change (3) in the pom.xml is in the revision 195 of the repository. > Thank you for the contribution ! > > -Dima > > On Wed, Sep 19, 2018 at 7:36 PM Dmitry Nadezhin <[email protected]> > wrote: >
Thank you a lot! We'll continue to work on other minor issues in the nearly future as soon as we have some more time. Just minor problems with usability of build and user interface itself, so far > > > > > > > -- > You received this digest because you're subscribed to updates for this > group. You can change your settings on the group membership page: > > https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/electricvlsi/join > . > To unsubscribe from this group and stop receiving emails from it send an > email to [email protected]. > > -- You received this message because you are subscribed to the Google Groups "Electric VLSI Editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
