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

[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

--
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+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/3c1a7409-a834-4fed-b1b5-48caa5de7a69n%40googlegroups.com.