-
And move the deprecated things (as per #2233) to the end, out of the way. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
a2c32942
And move the deprecated things (as per #2233) to the end, out of the way. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>