Re: [deal.II] Reporting issue with repo

[Daniel Arndt]

Alex,

grid_reordering,h was removed in
https://github.com/dealii/dealii/commit/fd0c356263d7115ebf58fcea15d0412a32da199e
(which isn't part of any release yet).

Best,
Daniel

On Tue, Dec 5, 2023 at 7:47 AM Alex Quinlan 
wrote:

> Dear deal.ii devs,
>
> I cloned the deal.ii repo yesterday and found that the header file
> grid_reorder.h has been removed from include/deal.II/grid/.
>
> I searched the logs and the documentation and it appeared that the file
> *should* still be there, though I'm not 100% sure of that.
>
> I am not very savvy with git, so I thought I would just post here.  Is
> this the correct place to make this kind of report, or is there a preferred
> process that I should take in the future?
>
> Thanks,
> Alex
>
> --
> The deal.II project is located at http://www.dealii.org/
> For mailing list/forum options, see
> https://groups.google.com/d/forum/dealii?hl=en
> ---
> You received this message because you are subscribed to the Google Groups
> "deal.II User Group" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to dealii+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/dealii/3c1a7409-a834-4fed-b1b5-48caa5de7a69n%40googlegroups.com
> 
> .
>

-- 
The deal.II project is located at http://www.dealii.org/
For mailing list/forum options, see 
https://groups.google.com/d/forum/dealii?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"deal.II User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to dealii+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/dealii/CAOYDWbJ%3DWQmKZ5f8C2iQRv2ge5JMryiDK3U%2B%2BbSRiNj%3DoVyJcQ%40mail.gmail.com.

[deal.II] Reporting issue with repo

[Alex Quinlan]

Dear deal.ii devs,

I cloned the deal.ii repo yesterday and found that the header file 
grid_reorder.h has been removed from include/deal.II/grid/.

I searched the logs and the documentation and it appeared that the file 
*should* still be there, though I'm not 100% sure of that.

I am not very savvy with git, so I thought I would just post here.  Is this 
the correct place to make this kind of report, or is there a preferred 
process that I should take in the future?

Thanks,
Alex

-- 
The deal.II project is located at http://www.dealii.org/
For mailing list/forum options, see 
https://groups.google.com/d/forum/dealii?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"deal.II User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to dealii+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/dealii/3c1a7409-a834-4fed-b1b5-48caa5de7a69n%40googlegroups.com.