Commit 58717882 authored by Matthias Diener's avatar Matthias Diener Committed by Andreas Klöckner
Browse files

Work around spurious size warning

parent 30e83da6