On Mon, 22 Aug 2022 11:23:08 GMT, Prasanta Sadhukhan <[email protected]> wrote:
> Cleanup of Problemlist This pull request has now been integrated. Changeset: 5a20bc44 Author: Prasanta Sadhukhan <[email protected]> URL: https://git.openjdk.org/jdk/commit/5a20bc44b1fb4edb6ab714191cdc6c3f33ac9836 Stats: 12 lines in 1 file changed: 5 ins; 6 del; 1 mod 8292715: Cleanup Problemlist Reviewed-by: prr ------------- PR: https://git.openjdk.org/jdk/pull/9963
