Pull request status

[Jonathan Gazeley]

Hi folks,

About a week ago I popped a near-trivial pull request in against FR 
v3.0.x (because this is the version we are using) but it should be more 
widely compatible. I haven't heard anything back since - do I need to do 
anything else to have it considered for merging?

https://github.com/FreeRADIUS/freeradius-server/pull/2184

Thanks,
Jonathan