Commits
David Walend authored 2a97024806bM
Pull request #1349: Turns out SHRINE2020-1258 shouldn't be done after all. Merge in SHRINE/shrine from feature/SHRINE2020-1258 to develop * commit '0ba156bd4d97a74f23a0a223d7f0be3e54a14eb3': Turns out SHRINE2020-1258 shouldn't be done after all. Added a comment.
Showing diff to070d4800041