From 2f0452d24ec0303e8dc3ef96daf2c2c1ba01f121 Mon Sep 17 00:00:00 2001 From: TS Date: Tue, 21 Sep 2021 23:00:46 +0800 Subject: [PATCH] Update README.md --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 7f6fef7..05ff8ce 100644 --- a/README.md +++ b/README.md @@ -878,7 +878,7 @@ By leveraging the results, one can inspect the detailed coverage report generate Themis can also benefit other research (e.g., fault localization, program repair, etc.) -## Main maintainers +## Main maintainers/contributors [Ting Su](https://tingsu.github.io/), East China Normal University, China @@ -886,9 +886,6 @@ Themis can also benefit other research (e.g., fault localization, program repair [Zhendong Su](https://people.inf.ethz.ch/suz/), ETH Zurich, Switzerland -We welcome any feedback or questions on Themis. Free feel to share your ideas, open issues or pull requests. We are actively maintaining Themis -to benefit our community. - We appreciate the contributions from: - Enze Ma, Beijing Forestry University, China @@ -896,3 +893,6 @@ We appreciate the contributions from: - Weigang He, East China Normal University, China - Shan Huang, East China Normal University, China + +We welcome any feedback or questions on Themis. Free feel to share your ideas, open issues or pull requests. We are actively maintaining Themis +to benefit our community.