Credit @ossi96 for bpb (#4298)

author Philipp Hagemeister <phihag@phihag.de>

Mon, 24 Nov 2014 21:47:44 +0000 (22:47 +0100)

committer Philipp Hagemeister <phihag@phihag.de>

Mon, 24 Nov 2014 21:47:49 +0000 (22:47 +0100)
author Philipp Hagemeister <phihag@phihag.de>
Mon, 24 Nov 2014 21:47:44 +0000 (22:47 +0100)
committer Philipp Hagemeister <phihag@phihag.de>
Mon, 24 Nov 2014 21:47:49 +0000 (22:47 +0100)
diff --git a/AUTHORS b/AUTHORS

index c8d60282c04c7138efe3f70a8116d12fcced2640..24358d548aaa3b95350fac356bff0bd1f9ebc6b4 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -85,3 +85,4 @@ Jan Matějka
  Mauroy Sébastien
  William Sewell
  Dao Hoang Son
+Oskar Jauch
author	Philipp Hagemeister <phihag@phihag.de>
	Mon, 24 Nov 2014 21:47:44 +0000 (22:47 +0100)
committer	Philipp Hagemeister <phihag@phihag.de>
	Mon, 24 Nov 2014 21:47:49 +0000 (22:47 +0100)