Maybe you also don't have rights on the other group, ha ha :-)
On Tuesday, December 6, 2016 at 6:26:27 PM UTC+1, Wolfgang Bangerth wrote:
>
> On 12/06/2016 10:14 AM, Jean-Paul Pelteret wrote:
> > Don't you have the little "move" button at the top of the post (see
> > screenshot)? It offers me th
On 12/06/2016 10:14 AM, Jean-Paul Pelteret wrote:
Don't you have the little "move" button at the top of the post (see
screenshot)? It offers me the option to move it another list that I'm an admin
on, which is kind of useless in this case :-)
Hm, I do, but it doesn't actually allow me to select
Don't you have the little "move" button at the top of the post (see
screenshot)? It offers me the option to move it another list that I'm an
admin on, which is kind of useless in this case :-)
On Tuesday, December 6, 2016 at 6:07:47 PM UTC+1, Wolfgang Bangerth wrote:
>
> On 12/06/2016 09:49 AM,
On 12/06/2016 09:49 AM, Jean-Paul Pelteret wrote:
Oh, actually Wolfgang could probably move it - I don't have write access to
the developer forum.
Nope, can't do -- completely separate mailing lists...
--
Wolfgang Bangert
Oh, actually Wolfgang could probably move it - I don't have write access to
the developer forum.
On Tuesday, December 6, 2016 at 5:47:36 PM UTC+1, Jean-Paul Pelteret wrote:
>
> No way to move it, but I can delete it if you want?
>
> On Tuesday, December 6, 2016 at 5:41:32 PM UTC+1, Denis Davydov
Please delete it then, i will re-post. Sorry for troubles.
> On 6 Dec 2016, at 17:47, Jean-Paul Pelteret wrote:
>
> No way to move it, but I can delete it if you want?
>
> On Tuesday, December 6, 2016 at 5:41:32 PM UTC+1, Denis Davydov wrote:
> wrong forum, sorry, i meant to post it here
> ht
No way to move it, but I can delete it if you want?
On Tuesday, December 6, 2016 at 5:41:32 PM UTC+1, Denis Davydov wrote:
>
> wrong forum, sorry, i meant to post it here
> https://groups.google.com/forum/?fromgroups#!forum/dealii-developers
> If there is a way to move the post, feel free.
>
> On
wrong forum, sorry, i meant to post it
here https://groups.google.com/forum/?fromgroups#!forum/dealii-developers
If there is a way to move the post, feel free.
On Tuesday, December 6, 2016 at 5:40:49 PM UTC+1, Denis Davydov wrote:
>
> I think it would be better if deal.II's GitHub account had dev
