Merge commit 'dd0822d5cd52dd8a2e1ac1ee318f8fa685c2e420'
commit4391c458d068360a0d26819f12405c651d0d8415
authorPieter de Bie <pdebie@ai.rug.nl>
Mon, 15 Jun 2009 13:21:46 +0000 (15 14:21 +0100)
committerPieter de Bie <pdebie@ai.rug.nl>
Mon, 15 Jun 2009 13:21:46 +0000 (15 14:21 +0100)
treed515ce6f99dee37c3b2b5df1eec9207dd7c88c3c
parent83a1453971fd7348596453602637bff3e2f7aff3
parentdd0822d5cd52dd8a2e1ac1ee318f8fa685c2e420
Merge commit 'dd0822d5cd52dd8a2e1ac1ee318f8fa685c2e420'

* commit 'dd0822d5cd52dd8a2e1ac1ee318f8fa685c2e420':
  PBGitCommitController: Don't allow duplicate Sign-Offs