20 Feb
2021
20 Feb
'21
9:48 a.m.
Fixed, I believe, in 9a5f9793b by predeclaring att.typed. Again, feel free to back out these commits if Mr. Jenkins is not happy. ________________________________ Nick — Build problem due to #2053, @type on interpLike. Looking at it now, but if necessary feel free to back out that merge. ________________________________ Just so you all know, I intend to create the branches first thing UK time tomorrow morning unless there are any objections.