Permission to merge to release a remove-warnings-update

19 Jan
2012
19 Jan
'12
4:49 p.m.
Hi, Christophe sent me this week a patch to avoid many warnings about unused parameters in many files. I applied that (all but one file which was not about unused parameters) and fixed some more. So this is a low-risk update which might be convenient for many users. All tests run fine. Do I have permission to still merge this with the Release branch? Thanks, Barend
4894
Age (days ago)
4894
Last active (days ago)
0 comments
1 participants
participants (1)
-
Barend Gehrels