Hi all, as Vladimir pointed out in a comment on a commit, I wonder whether
* there are any written rules who gets added to the thanks section * is it really needed to separate between contributors and reporters My current standpoint here would be: Simplify the list, by combining the two lists into one and mention everyone, who: * reports a bug/enhancement through bugzilla (which gets fixed) * interacts in a "helpful" way on any bug/enhancement Felix
