Metadata
| Property | Value |
|---|---|
| Reported by | Elias Pipping (elias.pipping@fu-berlin.de) |
| Reported at | Dec 21, 2011 16:16 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Last edited at | Jan 22, 2012 17:01 |
| Closed by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Closed at | Jan 22, 2012 17:01 |
| Closed in version | Unknown |
| Resolution | Implemented |
| Comment | Patch applied in dune-grid rev. 7844. Thanks. |
Description
Since flyspray does not allow me to attach patches to a bug that has been marked "Fixed", I'm taking the second patch that I meant to submit here instead.
It does the same thing as the one that was committed in r7811, just in two different places.