Block or Report
Block or report ehuss
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
1,978 contributions in the last year
Less
More
Activity overview
Contribution activity
June 2023
Created a pull request in rust-lang/miri that received 8 comments
Remove rustc-workspace-hack
The rustc-workspace-hack
dependency was removed in rust-lang/rust#109133 and should no longer be needed.
+0
−23
•
8
comments