On 03.07.20 11:21, Nils Eliasson wrote: > I would like to encourage moving to Xlog/UL and from PrintCompilation. The few people that will use > RepeatCompilation will know how to use -Xlog. Okay, fair enough. > If you insist I can add both. No, using only UL is fine with me. Best regards, Tobias