On Wednesday, July 2, 2014 7:05:02 PM UTC+1, Bruno Kühnen Meneguello wrote: > > Hello, > > I did a PR to allow better UI on mobile devices. > > Could someone pls review that? > > https://github.com/jenkinsci/jenkins/pull/1070 >
Hey Bruno. Thanks for that. This work looks very compatible/complementary to https://github.com/jenkinsci/jenkins/pull/1310. I wonder if we could merge the two efforts? -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" 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.
