Thanks everyone for the useful feedback. I pushed it to production just now.
If you have any other issue, just shout an email, I'll fix them as they come. -- Guillaume On Mon, Oct 2, 2017 at 12:55 PM, Guillaume Smet <guillaume.s...@gmail.com> wrote: > On Mon, Oct 2, 2017 at 11:44 AM, Yoann Rodiere <yo...@hibernate.org> wrote: >> Well it's a bit confusing when coming from hibernate.org, since we made sure >> to make everything look like it's the same website, and yet this important >> part disappears... Granted, we could only have a stripped-down version of >> the hibernate.org menu, so it would still be confusing, but that's still >> better than nothing in my opinion. >> On top of that, the menu button would only fill some currently unused space >> on the top right, so there's really not much of a reason to remove it. > > After discussing it with Yoann, I brought back a simplified version of > the menu on mobile (to avoid having to maintain the whole > hibernate.org tree on in.relation.to). > > -- > Guillaume _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
