Commit report for master branch

[The git bot]

New activity for FreeRADIUS (the high performance and highly configurable RADIUS server)

======
Add missing 'Profile' links

Jorge Pereira (via Alan DeKok)@2020-01-08T02:29:25Z
Files modified:
	* doc/antora/modules/developers/nav.adoc
	* doc/antora/modules/developers/pages/index.adoc

Commit diff:
https://github.com/FreeRADIUS/freeradius-server/commit/11163611f9f548fc08c8d085e17aac3d05af4d1d
====== 
-- 
This commit summary was generated @2020-01-09T00:00:02Z by lgfeed version 0.00 (https://github.com/arr2036/lgfeed).