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.

Reply via email to