Has gdb been disconnected from make installworld?

[Trond Endrestøl]

I was at bit surprised to see gdb missing from /usr/bin this evening. 
The executables are still being built in /usr/obj/usr/src/gnu/usr.bin/gdb.

This is on base/head r320329.

Do we need to add WITH_GDB=yes to our src.conf files?

-- 
+-------------------------------+------------------------------------+
| Vennlig hilsen,               | Best regards,                      |
| Trond Endrestøl,              | Trond Endrestøl,                   |
| IT-ansvarlig,                 | System administrator,              |
| Fagskolen Innlandet,          | Gjøvik Technical College, Norway,  |
| tlf. mob.   952 62 567,       | Cellular...: +47 952 62 567,       |
| sentralbord 61 14 54 00.      | Switchboard: +47 61 14 54 00.      |
+-------------------------------+------------------------------------+