Revision 8efa9d762cc2d2dbe5565044e11af790d3dceec5

Committed on 05/06/2008 8:46 am by Felix Woldt <[email protected]> [GitHub Diff]

trunk: remove some strict warnings