Merged branches deletion

Development
1

Hi,

I am going to delete these (merged) branches thursday, unless someone
feels especially attached to them:

  topic/dnthayer/ticket1821
  topic/dnthayer/ticket1836
  topic/dnthayer/ticket1863
  topic/jazoff/contentline-limit
  topic/jazoff/fix-gridftp
  topic/jazoff/fix-intel-error
  topic/jazoff/speedup-for
  topic/robin/broker-logging
  topic/robin/event-args
  topic/robin/plugin-version-check
  topic/seth/add-file-lookup-functions
  topic/seth/input-thread-behavior
  topic/seth/remove-dns-weird
  topic/vladg/bit-1838

Johanna

2

Thanks for sweeping through all of these branches! I think I have a few extra branches that I could get rid of that haven't been merged too, this is a good reminder that I should get those cleaned up.

   .Seth

3

This is done.

Johanna