So, like, the other day Scott Wood mumbled: > > I forgot to tag them as such, but these are of course dtc patches and > not Linux patches. All three applied (to DTC :-)). Will you follow up with a patch for /bininc/ or /bin-include/ as well now? (I'm fine with either, and I forget where David's preference there landed.) Thanks, jdl