User Details
- User Since
- Aug 4 2020, 2:44 AM (138 w, 16 h)
Mar 28 2022
Mar 15 2022
Fix typo
Mar 12 2022
Mar 7 2022
Mar 6 2022
Mar 4 2022
Mar 3 2022
Address @craig.topper's comments. Thanks!
Mar 1 2022
Feb 28 2022
Address @craig.topper's comment
Feb 27 2022
Address @jrtc27's comments
Rebase
Can you help test if this patch works fine now? @krasimir
Fix typo
Thanks for @craig.topper's detailed advice!
Feb 25 2022
Ping & Rebase
Thanks for @craig.topper's patch!
Feb 24 2022
Feb 23 2022
Ping
Address @craig.topper's comment
Feb 21 2022
Rebase
Feb 18 2022
Feb 17 2022
Thanks all!
Feb 15 2022
Feb 13 2022
Address @craig.topper's comments.
Ping & Rebase.
Feb 11 2022
Feb 10 2022
Address comments.
Feb 4 2022
Amend tests.
Address comments.
Feb 3 2022
Rebase
Feb 1 2022
Separate the Zhinxmin and Zhinx extensions. Inspired by D118581
Jan 31 2022
Ping
Ping
LGTM. I think this is indeed a better way to implement Zfhmin.
LGTM. Sorry for my previous wrong comment.
Jan 25 2022
Jan 24 2022
@asb Thank you very much! Could you please take a look at what needs to be modified now?
@achieveartificialintelligence Do you know what is the relation between your patch and D115921?
Jan 20 2022
Address @craig.topper's comments. Thanks!
Jan 19 2022
Ping. Any other suggestions?
Jan 18 2022
This patch is accepted a year ago. Could this patch land now?
Jan 17 2022
rebase
Jan 16 2022
Address @craig.topper's comments. Thanks!
Jan 15 2022
Rebase
Jan 14 2022
Address @craig.topper's comments
Jan 13 2022
OK, LGTM. Thanks! @fakepaper56 @khchen
How about this way?
LGTM. Thanks! And sorry for my this comment.
Jan 12 2022
Address @craig.topper's comments