Re: [gwt-contrib] Change packaging for GSS

2014-10-19 Thread Julien Dramaix
https://gwt-review.googlesource.com/9810

On Sun, Oct 19, 2014 at 12:47 AM, Julien Dramaix julien.dram...@gmail.com
wrote:

 I will work on that tomorrow
 On Oct 18, 2014 8:10 PM, 'Daniel Kurka' via GWT Contributors 
 google-web-toolkit-contributors@googlegroups.com wrote:

 Hi all,

 apparently we ended up packaging gss into gwt-dev instead of gwt-user:
 https://gwt-review.googlesource.com/#/c/9803/

 @Thomas, @Julien can you guys look into providing a patch that moves this
 into gwt-user?

 -Daniel

 --
 You received this message because you are subscribed to the Google Groups
 GWT Contributors group.
 To unsubscribe from this group and stop receiving emails from it, send an
 email to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
 To view this discussion on the web visit
 https://groups.google.com/d/msgid/google-web-toolkit-contributors/CALLujipLY9ydhxTG0__D0vVojSpuCGQAmLb1aD-rPOBz1Me62A%40mail.gmail.com
 https://groups.google.com/d/msgid/google-web-toolkit-contributors/CALLujipLY9ydhxTG0__D0vVojSpuCGQAmLb1aD-rPOBz1Me62A%40mail.gmail.com?utm_medium=emailutm_source=footer
 .
 For more options, visit https://groups.google.com/d/optout.



-- 
You received this message because you are subscribed to the Google Groups GWT 
Contributors group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit-contributors/CABb_3%3D4v%3Dt8WUAamukrbz%3DGU9YhXyfE7d0UK8RBg-txR2aykCA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


[gwt-contrib] Change packaging for GSS

2014-10-18 Thread 'Daniel Kurka' via GWT Contributors
Hi all,

apparently we ended up packaging gss into gwt-dev instead of gwt-user:
https://gwt-review.googlesource.com/#/c/9803/

@Thomas, @Julien can you guys look into providing a patch that moves this
into gwt-user?

-Daniel

-- 
You received this message because you are subscribed to the Google Groups GWT 
Contributors group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit-contributors/CALLujipLY9ydhxTG0__D0vVojSpuCGQAmLb1aD-rPOBz1Me62A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [gwt-contrib] Change packaging for GSS

2014-10-18 Thread Julien Dramaix
I will work on that tomorrow
On Oct 18, 2014 8:10 PM, 'Daniel Kurka' via GWT Contributors 
google-web-toolkit-contributors@googlegroups.com wrote:

 Hi all,

 apparently we ended up packaging gss into gwt-dev instead of gwt-user:
 https://gwt-review.googlesource.com/#/c/9803/

 @Thomas, @Julien can you guys look into providing a patch that moves this
 into gwt-user?

 -Daniel

 --
 You received this message because you are subscribed to the Google Groups
 GWT Contributors group.
 To unsubscribe from this group and stop receiving emails from it, send an
 email to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
 To view this discussion on the web visit
 https://groups.google.com/d/msgid/google-web-toolkit-contributors/CALLujipLY9ydhxTG0__D0vVojSpuCGQAmLb1aD-rPOBz1Me62A%40mail.gmail.com
 https://groups.google.com/d/msgid/google-web-toolkit-contributors/CALLujipLY9ydhxTG0__D0vVojSpuCGQAmLb1aD-rPOBz1Me62A%40mail.gmail.com?utm_medium=emailutm_source=footer
 .
 For more options, visit https://groups.google.com/d/optout.


-- 
You received this message because you are subscribed to the Google Groups GWT 
Contributors group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit-contributors/CABb_3%3D6WzhN2n4fKHeXt7%2BvY2WEUHbTiqDQgV3db3dGyPdC0vw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.